Also, "Tor" is the Scandinavian spelling of Thor. He probably thought of that when he saw the name, and mentally hashed it as "that anonymous routing software that's named for the Germanic god of thunder". I can imagine making that mistake.