Enable -dstg-lint for devel2
Allegedly this disabled a while ago because of some nondeterministic lint failures.
If this is still the case we should fix this and reenable stg lint on the compiler.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information