why3extract library obsolete
If it is confirmed that the why3extract library is not used anymore, then all mentions of it in the Makefile, the doc, the opam file, etc. should disappear from the repository.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information