[tor-commits] [torbrowser/maint-2.2] Merge branch 'patches9' into maint-2.2