In case two synonymed tags end up becoming unrelated (e.g. through separating software development, etc), what would the proper method be for removing said synonym? I am asking for future reference.
1 Answer
You start a post here suggesting it. If the mods agree, we nuke the link between the two tags.