> And so is Tor - it may not be that common elsewhere, but tor means "rock on top of a hill"

"Tor" is also the German word for "gate" (the common term, not something exotic), so I assume it's quite safe to discard the claim as bullshit.