Yeah - sorry about that, not posting in almost 20 hours is obviously unacceptable
Anyway, I was waiting until we had a response from FaoT - there wasn't really much else to speculate on until then (of course, I tried my best with the removed from time thing, however it was resolved quite quickly).
Anyway, now that we have a response from FaoT, I feel a bit better about them. I wish we knew how they ended up in the box - the most likely mechanism is someone doing it via PMs to the mod. It's hard to tell if it is the tardis or not - it certainly looks like it, but you would expect the tardis to be used for a time travel ability, rather than a role-block, vote-block, which seems anti-town (especially as FaoT has claimed to be Rose, though obviously we should always take these claims with a pinch of salt).
This has pinged me -
If that won't work, I think revealing John Smith would be alright? They were not a particularly powerful character, as far as I know. Unless we think there's a lyncher/killer for them. Lyncher wouldn't really matter since we wouldn't fall for that if we know John Smith identity.
Reasons - Mav has said that they are quite well versed in flavour, and Rose (in the edit) had already pointed out that revealing John Smith's identity could be bad, because it's the main pseudonym for the doctor, and it could be possible that the Doctor comes up as John Smith when copped (and in a game with lots of cops, having some ambiguity could be useful). John Smith (when their own character and not just the doctor pretending to be human) was basically the doctor with all his timelordiness stripped out of him, and it could only be returned by him opening the watch he'd trapped his timelordiness in. So, our most likely possibilities cannonwise are: 1) John Smith is in fact the doctor, and we don't want scum finding out who they are, or 2) if the doctor is killed, he gets a one shot respawn into John Smith (who then gets all the doctor's abilities). In either case, it would not be a good thing to identify John Smith. Mav is a pretty experienced player, and, as they said they know a lot about the who-verse, they should have had similar reservations about giving us the identity of John Smith.