Can you change the name of a tag? I recently came across the tag sage, which I think should be renamed to sagemath to be more clear.
Is it possible to change the name of a tag? If so, how?
Can you change the name of a tag? I recently came across the tag sage, which I think should be renamed to sagemath to be more clear.
Is it possible to change the name of a tag? If so, how?
The OP posted the specific suggestion about (sage) and (sagemath) in a separate post: Tag management 2017. I will post here what I know about the more general question:
Is it possible to change the name of a tag? If so, how?
Related question on meta.SE: How to rename a tag?
As far as I know this can be done only by moderators.
You can find more details also here: What are tag synonyms and merged tags? How do they work?
There are more subtleties to it (mainly relevant in the cases where we would want to cancel existing synonyms), but one of the differences between synonym and rename/merge is that in the case of synonyms both tags still exist in the system. If the tag is renamed (or merged without synonymizing) only one tag remains. The details about these differences are better explained in the two meta.SE posts I linked above. You can find here a rather recent case when merging two tags have been used to remove a tag silently (without bumping).
So if a regular (non-diamond) user sees a tag which, in their opinion, should be renamed, the right thing to do is to suggest this in meta. (As you did in the linked thread.) In cases when you are not sure about the renaming, you can ask for advice either in Tagging chat room or in Math Mods' Office before posting on meta.
If the suggestion gains enough support on meta, moderators will likely rename the tag. (I assume that moderators occasionally check tag management threads and they help to implement suggestions which gained enough support - especially in the case if it is the suggestion which cannot be done without moderator invention.)