tor-browser: upgrade to v.4.0.2