Eliom_content.Html5.Printer.server(3o) on Linux

The text 2823b5799b9e, as Debian 8 (Jessie) shipped it. The page shows this text now.

[http://dev.w3.org/html5/html-xhtml-author-guide/]"Polyglot" HTML5 printer.