[tor-commits] [torbutton/master] Bug #9570: Private browsing changes since FF ESR 17.