@Criggie So, when a synonym is created, it basically changes all future use of the synonym to the main ("lead") tag. As mods, we would probably also want to perform a tag merge (rename all existing uses of the synonym to the main tag, or remove it it both tags are already on a question).