I can't find an answer to this after searching meta and the help files: how do "typo" tags get killed off? For example, currently there are tags for i0s7 and javascipt, which are both obviously typos. They may even be badge-hunting by people hoping to get a lot of questions tagged incorrectly.
So, how do we get rid of these? My take so far is that it is partly automatic, like "tags that are x days old with no posts are closed automatically," and partly a moderator activity. Is this correct?
Closely related: is there any way for users to suggest destruction of a tag that is obviously irrelevant or a typo other than (1) a meta "burninate" post or (2) marking it as a synonym of a legit tag, which just perpetuates the typo's existence?