On https://spot.lrde.epita.fr/satmin.html we should remove the space in "11 -state" and "8 -state".
Not sure if that's a bug in newer Org versions, but it can be fixed by passing
"%s-state" to the function.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information