[tor-commits] [torbrowser/maint-2.3] unrecommend linux 2.2.35-7 now that 2.2.35-7.2 is up