publicize and document docker images
Put a link to the docker images
in the Why3 web page.
Document the use of a docker image in the manual
explain in particular how to use Why3 ide (issue related to X server)
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information