Some resources disappeared from why3.org (including some linked from the homepage)
I had tab open on this file: https://www.why3.org/ssft-16/notes-why3.pdf and now the file is not there anymore. Other links to learning resources are now broken in the homepage:
Other things are indexed by Google but not accessible anymore: https://www.why3.org/queens/queens.pdf and so on