CTAN update: apxproof