@divyaranjan@mathstodon.xyz (BTW it looks like it got stuck but it didn't, I was using the mouse menu to undo it. But that didn't get captured.)