If the "official" reason why people are banned for mentioning/posting theymos's dox is that they are trolling (because they are doing so for no reason other then to annoy the person), then I don't think the ban is appropriate here. I did see the post in question prior to it getting deleted, and I did see the entry in the modlog, and I fail to see any meaningful difference between what TF posted and what salty had posted (except that what TF posted was potentially accurate).
I also would note that Salty did post a number of times that you would not be banned for simply posting theymos's dox, and Salty had also posted (what he appeared) to believe was accurate instructions to find theymos's dox. I would say at worse, what TF did was correct Salty's inaccurate statement, and more realistically was merely following directions of Salty, who is a global moderator and as a result what he says will reasonably be considered to be "the official rules" of what can and cannot be posted.
As others have mentioned, I do not support the majority of what TF has done in the past (or at least what it is claimed he has done), however I do not think he is in the wrong here.
As I mentioned in the other thread, I don't think it is unreasonable to want to protect your own personal information, but I do think a blanket ban of someone who attempts to post such information is probably not the right way to protect such information