I noticed a question regarding demangling and noticed that there was no [demangling] tag and only one questions tagged [demangler] which doesn't really fit the tag naming scheme. Most of the demangling questions seem to miss any kind mangling tag.
Three retags later, however, I noticed [name-mangling] (currently 23 questions) and am now indecisive... most questions are rather specific about demangling, but that subject is a subset of name mangling.
Do we need a specific [demangling], or keep both and tag where appropriate?
Something else? Opinions?