By the way, there was a pull this morning to tweak the CSS for the 4.07 version of the manual. It only adjusts the interline spacing and the line width and centering, but it already looks substantially better. (It’s literally only a couple of lines changed.)