[tor-commits] [tor-browser-build/master] Bug 23258: Fix broken HTTPS-Everywhere on higher security levels