Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
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.
You start a post here suggesting it. If the mods agree, we nuke the link between the two tags.