CTAN update: hypdestopt