The whole mechanics here are wildly confusing.
Essentially we have 2 options here:
- Promote synonym to tag
- Remove synonym
I think this is just too complicated to explain to people. No harm really just leaving “remove synonym” and junking the other function which is super hard to explain.
People can still create tags again after they delete the synonym, so nothing really lost? Am I missing something here @neil ?