New on CTAN: quickderivs