New on CTAN: verifiche