I've just posted this question, which as you can see has the awk
tag applied.
I then tried to add the gawk
tag. I wasn't aware that it had become a synonym for awk
, and the version of awk
I was using was indeed GNU. As you can see, the tag's original description was shown, with no indication that it was a synonym:
When the question was posted, the tag was silently deleted, without the user (me) being notified of this, or given the reason.
I think there may be one or more bugs here:
- The tag being given as an option at all.
- The description failing to mention that it was a synonym of a tag I'd already added.
- The failure to notify when the tag was deleted.
- The failure to give a reason - I even attempted a tag edit just to restore the
gawk
tag, and had to do some detective work to find out what was going on.
(Though I don't know if these actually are bugs, or if this is not-a-bug-its-a-feature behaviour.)
[awk] is:q gawk
shows that [gawk] is still there (and it's by design as per FAQ: "However, existing questions tagged with the synonym tag that were using it before the synonym was created and were not edited later will continue to use the synonym tag.")