Board Thread:General Discussion/@comment-28169398-20180216145720/@comment-28169398-20180221134604

Mugwumps wrote: I get the point, but there are other places where flexibility is shown in names and I just think this particular change would 1) add nothing of value to the wiki (in fact, it's detracting from it by wasting the admins' time) and 2) it would be annoying to read. I'm not asking for it. I added this to report the change, though Michael had already noticed it and was planning how to address it, and find out from the Admins if they needed help with the conversion. Name Changes