1
I've just created a question and tried to add a tag "cubical-type-theory", but my keyboard is problematic and causes the tag to be "cubical--type-theory" (with an unexpected -). I want to do a rename, but when I try to remove the old tag and add the correct-spelling one, the website says I need ...