[tor-commits] [torbutton/maint-10.0] Bug 40031: Remove survey banner on TB-stable