Board Thread:General Discussion/@comment-28169398-20180216145720/@comment-31433854-20180221133229

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.