Tardis:Fandom names

In late 2016, the Fandom brand was born. At the same time, a number of subtle changes happened to the nomenclature of various things. For the improvement of clarity, here's a handy guide to these various changes: Especially in discussions with other users, the above list should be observed.

Admin may need to run bot sweeps to make sure that older writings conform to the new standards. One has already been performed in the Tardis namespace and in the policy category. It's possible, but by no means certain, that forum areas will have to be scrubbed, as well.