[tor-commits] [torbrowser/master] Remove some old leftovers