Rewriting API documentation of Eliom_content.Html5