dvi files are about as user hostile as it gets for a rendered document format, though