Incorrect legal terminology in design doc

Tor is U.S. Trademark Registration No. 3,465,432. Section 3.6.1 in the PLED refers to it as Tor™, when it should be Tor®.

Original created by @cypherpunks on 15639 (Redmine)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information