The Docker does not run opam2web anymore