Next unproven node id not working when adding a transformation
The proof tree selection should go to the first child of the transformation. It does not anymore.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information