No POD found for gmp_manual_orig.pl. Time to read the source?