Eliom_registration.server(3o) on Linux
The text 3f5dea1e8c5e, as Debian 7 (Wheezy) shipped it.
Eliom services registration for various kinds of page content: Eliom application, valid Eliom_registration.Html5 or Eliom_registration.Xhtml, actions, redirections, static files, …