texfont_fontforge
fix_for_manual_pages
