New on CTAN: apxproof