Eliom_registration.String_redirection.server(3o) on Linux

The text 5f0968f8434a, as Debian 7 (Wheezy) shipped it.

Eliom service registration for services that returns a redirections towards a string-URL.