This is probably a dumb question, but I can't for the life of me
remember how to turn a dvi file to plain text (txt). I tried reading
some of the docs, but I'm not getting anywhere. I know their is a CLI
program for this some place.