===> Cleaning for tex-metafont-beginners-doc-2014