Continuation of 1cfbc2ec521e5ebbad339ce8c87001c8f41ad2cf
Fix OPAM url