Board Thread:Wiki Management/@comment-4356266-20170122083338/@comment-4356266-20170127184915

I think enough consensus has been gathered to put this policy into the Manual of Style, in this section. I've also put additional stuff like minor differences like spaces and capitalizations, and where previous/alternate names can be used.

Feedback welcomed.