[tor-dev] Tor browser (and releated) improvement ideas