Elimine the explicit references to Eliom_content.Html5 as it is now opened by default