* web/codegraph.eliom: misc