Turns out the dvi2tty utility that we have distributed since day one is nonfree -- no commercial use allowed. If anyone cares about it enough to track down and contact the author, please do and cc me. Otherwise, I'll delete it in a couple days. karl