drwho.tex: More petty source styling.