catdvi is a program that translates TeX Device Independent (DVI) files into
readable plain text.