Whew, using a wiki bot to do a lot of batch edits really kept me up all night. Hope I didn't feel too groggy after waking up. Maybe I should find more uses for that bot.
