The text e10d5ffdcc11, as Debian 5.0 (Lenny) shipped it.
Add a heading
HTMLDocument.addHeading(3kaya) on Linux now
