The documentation of each major version must be available to users, since must be able to verify a deployed contract regardless of which version it was written in.
This is fixed by tagging the relevant commit in github, and setting the relevant version on the readthedocs admin page. I believe the entire Scilla team has admin rights to readthedocs, so it's not a big task.
The documentation of each major version must be available to users, since must be able to verify a deployed contract regardless of which version it was written in.