Board Thread:The Panopticon/@comment-1046-20130206052632/@comment-188432-20130206065558

Further info for you, Josiah:

Categories are super easy to change with a bot. So even if we do find ourselves on opposite sides of a category rename, I'll never use the rationale, "Oh, it's so hard to change them; let's just leave them."

No, if you've got a good case, there's no reason in the world not to change a category name. Equally, therefore, if we make a change one day, and then find a few weeks later that the change wasn't such a great idea, it's an easy fix. You may be used to thinking of category changes as a total pain on MediaWiki installations, even for admin — but that's only true if you've not got a bot at your disposal.