JSON export into plain text or fancy html pages usable for printing.
Also small fixes elsewhere and README expansion.