First mention of Tor I’ve seen all day. Thanks for contributing!