When browsing documentation, the titles of pages just contain "Eliom" or "Ocsigen server" or "Ocsigen tutorial". Having all tabs labelled "Eliom" when keepin various pages open in the browser is a real pain. Would it be possible to have page titles like "Eliom: Module Eliom_registration" ?
When browsing documentation, the titles of pages just contain "Eliom" or "Ocsigen server" or "Ocsigen tutorial". Having all tabs labelled "Eliom" when keepin various pages open in the browser is a real pain. Would it be possible to have page titles like "Eliom: Module Eliom_registration" ?