Document converter...online
I was looking for something to convert some weird old document format, and I found this incredible site.
It seems that they have also a web service but down for the moment.
Not a winner for design but surely one for utility.
By the way I have no idea what is DVI format or MIF.
But I remember well LATEX. Such a fantasy name for a text format ;-)