Thread:Bellamybug/@comment-254594-20181207122959/@comment-12699193-20181211184343

It's done. One side effect is that pages that previously had various levels of Edit protection are now un-protected, but there weren't many of those so I'm not too worried about that.

All, if you see a page that needs renaming but you can't due to protection, ask an admin and they'll do it for you.