HTMLDocument.writeTo(3kaya) on Linux

The text 9ed14a3a0375, as Debian 6.0 (Squeeze) shipped it.

Print a HTML document with a specified output function

HTMLDocument.writeTo(3kaya) on Linux now