The text 10807bb527e4, as Debian 6.0 (Squeeze) shipped it.
Add a heading
HTMLDocument.addHeading(3kaya) on Linux now
