IDE reload is slow when there are syntax errors
When editing a large file and making a syntax error, a failed reload of the IDE takes about half as much time as a successful reload (with no syntax error), while why3 prove almost instantly fails. It's significant enough to make me use why3 prove as a syntax checker before each reload. It would be nice if the reload failed earlier in case of a syntax error.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information