automaton::::Total adds a new state to an automaton even if it is already total

Is it correct behaviour?

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information