On Stackoverflow, I've edited this question to add the
[servlet-filter] tag. I know, before the introduction of tag synonyms this tag was called
[servlet-filters]. During adding the tag, the existing tag
[servlet-filter] correctly shows up in the autosuggest. After picking it and submitting the edit, the question ends up with the old
I edited it once again and then once more, but no change. It sticks to
Update: it now look like that all original
[servlet-filters] tags were incorrectly renamed to
[servlet-filter]. That is in turn indeed a bug since it contradicts the Official Repository.