* web/codemap.eliom: misc