* web/globals.ml: more general