diff -r 9e4b30f05706 -r 97a6da6d7e29 MozillaFirefox/firefox.js
--- a/MozillaFirefox/firefox.js	Fri Sep 20 14:10:22 2019 +0200
+++ b/MozillaFirefox/firefox.js	Sun Oct 20 14:25:55 2019 +0200
@@ -1,5 +1,7 @@
 pref("intl.locale.requested", "");
-pref("browser.preferences.instantApply", true);
 pref("geo.wifi.uri", "https://location.services.mozilla.com/v1/geolocate?key=%MOZILLA_API_KEY%");
 /* Disable DoH by default */
 pref("network.trr.mode", 5);
+// do not disable system-global or app-global extensions
+pref("extensions.autoDisableScopes", 3);
+pref("extensions.shownSelectionUI", true);