<p>Done.</p>
<p>There's supposed to be a mechanism for users to propose tag synonyms, but it is rarely invoked and never works because it requires (as I recall) five votes for approval and there's no queue to alert people a synonym is pending.</p>
<p>For the record, this change is effected by creating the new tag and merging the old tag with the new as a &quot;synonym.&quot;  This process &quot;orphans&quot; the tag wiki (if it exists).  Mods can find orphan wikis in order to recover their text, which I have done.  There's probably a better way to do all this, but what I have described is how it most naturally happens.</p>
