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 we talk about on a regular basis. Especially in discussions with other users, it's important to give the following handy guide to these various changes:

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.