HTMLDocument.writeTo(3kaya) on Linux

The text e6e5baf9380e, as Debian 7 (Wheezy) shipped it.

Print a HTML document with a specified output function

HTMLDocument.writeTo(3kaya) on Linux now