* web/codegraph.eliom: start