[Tor Browser 13 release] Update Tor Browser user manual

Main ticket to manage all modifications for the Tor Browser 13 release.