README: Don't ask people to read a TeXinfo file. Reported by Tim Rühsen <tim.ruehsen@gmx.de>. * README: Tell people how to read the HTML formatted manual.
2017-05-17T10:14:07