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. Thanks, David