When the thing a tag represents is renamed, should the tag be renamed with it?
Example: Super User has a tag windows-explorer that represents File Explorer in Windows. The tag's name comes from the days prior to Windows 8, when File Explorer was called Windows Explorer. Super User does have a tag file-explorer, which a synonym. In this example, should the two tags should be reversed, with file-explorer becoming the main tag and windows-explorer the synonym?