Thread:Shrev64/@comment-5876466-20130825053912

Putting this proposal into action will require changing quite a few pages' category names. Because that will be very repetitive and time-consuming to do manually, I would like to know what you think of me running a bot to do it. Once all the categories are done, the bot could be used for other similar tasks, serving the same purpose of these now inactive bots. 