Trac issueshttps://gitlab.torproject.org/legacy/trac/-/issues2020-06-15T23:34:47Zhttps://gitlab.torproject.org/legacy/trac/-/issues/11698Decide how to incorporate Tor Browser Manual pages into Tor Browser2020-06-15T23:34:47ZMatt PaganDecide how to incorporate Tor Browser Manual pages into Tor BrowserWe want the Tor Browser User Manual to ship with Tor Browser. We need to decide how the manual will be presented to the user, including what file format the user will be accessing.We want the Tor Browser User Manual to ship with Tor Browser. We need to decide how the manual will be presented to the user, including what file format the user will be accessing.https://gitlab.torproject.org/legacy/trac/-/issues/34385Be consistent with onion service terms2020-06-16T01:13:18ZMatthew FinkelBe consistent with onion service termsRecently Gus, Al, and I had a conversation about whether we should use "onionsite" or "onion site". We decided "onion site" is better for new users, and that is the better option. I noticed we use "onionsite" in Tor Browser. We should co...Recently Gus, Al, and I had a conversation about whether we should use "onionsite" or "onion site". We decided "onion site" is better for new users, and that is the better option. I noticed we use "onionsite" in Tor Browser. We should correct those instances. Are there other terms we should correct?
torbutton:
```
$ git grep -n onionsite chrome/locale/en-US/
chrome/locale/en-US/torbutton.properties:75:onionServices.descNotFound=The most likely cause is that the onionsite is offline. Contact the onionsite administrator.
chrome/locale/en-US/torbutton.properties:80:onionServices.descInvalid=The onionsite is unreachable due an internal error.
chrome/locale/en-US/torbutton.properties:85:onionServices.introFailed=The most likely cause is that the onionsite is offline. Contact the onionsite administrator.
chrome/locale/en-US/torbutton.properties:90:onionServices.rendezvousFailed=The onionsite is busy or the Tor network is overloaded. Try again later.
chrome/locale/en-US/torbutton.properties:95:onionServices.clientAuthMissing=Access to the onionsite requires a key but none was provided.
chrome/locale/en-US/torbutton.properties:100:onionServices.clientAuthIncorrect=The provided key is incorrect or has been revoked. Contact the onionsite administrator.
chrome/locale/en-US/torbutton.properties:105:onionServices.badAddress=The provided onionsite address is invalid. Please check that you entered it correctly.
chrome/locale/en-US/torbutton.properties:110:onionServices.introTimedOut=Failed to connect to the onionsite, possibly due to a poor network connection.
chrome/locale/en-US/torbutton.properties:124:onionServices.authPreferences.dialogIntro=Keys for the following onionsites are stored on your computer
```
tor browser:
```
$ git grep -n onionsite browser/modules/TorStrings.jsm
browser/modules/TorStrings.jsm:397: dialogIntro: getString("authPreferences.dialogIntro", "Keys for the following onionsites are stored on your computer"),
browser/modules/TorStrings.jsm:442: "Prioritize onionsites when they are available."
```
Any other places?