update needed in docs
Reported by a translator (thanks AO!)
In gettor.torproject.org we say:
You can also configure pluggable transports while Tor Browser is running by selecting 'Preferences' from the settings menu to the right of the address bar. Once in Preferences, navigate to 'Tor Settings' from the menu on the left of the screen.
But “Preferences” doesn’t appear in the settings menu: it is in the ≡ menu (the hamburguer menu).
Also: once in Preferences, the section about Tor is named “Tor”, not “Tor Settings”.
Another one: Click 'OK' to save your settings. / Users need to click 'Connect', not 'OK'