Packages from the vendor amsitlab

amsitlab/amsitlab-options