1
Occasionally some tags on MathOverflow are deprecated - it is decided that they should no longer be used. If a deprecated tag is only used in a few questions, then it can be removed manually - the amount of bumping is not so big that it would cause problems. From what I understood, moderators h...