Attempt to fix accidentally modified env.js by taking the version from develop 7d6e3407 ... See merge request !1925
