Packages from the vendor jrs

jrs/arlequin