Board Thread:Wiki Discussions/@comment-1251315-20140711100748/@comment-1207741-20140713205534

I don't care.

Looking at the move logs, I see files are moved to new names more often than is strictly necessary.

But again, don't care.