Eliom_registration.Html5.server(3o) on Linux

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

Eliom service registration for HTML5 page.