The text f0a96a0a2258, as Debian 7 (Wheezy) shipped it.
Building and printing valid (X)HTML5 tree.
Eliom_content.Html5.server(3o) on Linux now
