Doc: Small reorg of Eliom_content interface