New on CTAN: keytheorems