Opam package does not install .cmt files
When installing Why3 from opam, no .cmt files can be found in the /lib/why3 directory, which is somewhat painful when using the API and merlin. Moving cmt (and cmti ?) from COMPILED_LIB_EXTS to INSTALLED_LIB_EXTS in Makefile.in looks like a possible fix.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information