dead/packages: links for numbers-quantifier