I removed the 3 packages : sudo apt purge webext-noscript webext-privacy-badger webext-ublock-origin-firefox
I then installed the 3 extensions from the Firefox add-ons repo. And everything works fine. So, most probably, FF80 checks add-ons and removes/disables old ones. I Cc this to webext maintainers. Maybe they are not aware of this problem. Jean-Marc <jean-m...@6jf.be> https://6jf.be/keys/ED863AD1.txt https://6jf.be/keys/ED0B8558.txt
pgpvmfi2MLoVI.pgp
Description: PGP signature
