quasi-graphictext
finder can now find '.mf' file