Eliom_registration.Html_text.server(3o) on Linux

The text 2dec39aeac0d, as Debian 7 (Wheezy) shipped it.

Eliom service registration and forms creation for untyped HTML page.