The text d0c86e596489, as Debian 7 (Wheezy) shipped it.
Add a heading
HTMLDocument.addHeading(3kaya) on Linux now
