Reported by Tim Rühsen <tim.ruehsen@gmx.de>. * README: Tell people how to read the HTML formatted manual.