> BTW is there any reason not to use "pdflatex" and just generated PDF > directly, and thus ignore the vagaries of dvips A4 default? Probably not. I think I've encountered situations in the past where pdflatex produced worse output than dvips o latex, but I can't recall if this is one of them. I was unaware that pdf avoided this problem. We will certainly produce pdf for the documentation produced from the wiki.