[tor-commits] [tor-browser-build/maint-7.5] Bug 25000: Add [System+Principal] to the NoScript whitelist