small explication at the end of eliom_content header who explain where to go