* web/home.eliom: misc