Eliom_cookie.Cookies.server(3o) on Linux

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

Map adressed by URL path, used for Eliom_cookie.cookieset.