[tbb-commits] [torbutton/maint-10.5] Bug 40049: Add banner for VPN survey to about:tor