20120529

timtools.textprinter.TextPrinter.writeln() did an rstrip() of each line. But this also removed formfeed (chr(12)) characters if they happened to be at the end of the line. No explanation yet on why this bug became “active” only now.