On Sun, Aug 03, 2014 at 05:45:36PM +0200, Salvador Cuñat wrote: > I do. > > Not in HTML, only in .pdf version. While the Makefile supports the PDF creation, I'll admit that I never play with that, nor do I ever look at the result. I'll entertain patches that fix oddities, but I don't consider this overly critical. /D