I’d suggest one slight tweak to the design: To maintain compatibility with people’s current way of doing business, there should be a new command line / preference file switch that defaults to false and that, when true, causes the current OCaml version to be included in the name of the server command. > On Jun 6, 2020, at 7:50 PM, Etienne URBAH