Hi: I use dvi2tty to read these files. In debian, it's in the dvi2tty package. I don't have a URL for you, but if you search for it, you should be able to find it. Geoff.