Théo

Bonne nouvelle, les addons arrivent sur Firefox Android en décembre: https://blog.mozilla.org/addons/2023/11/01/is-your-extension-ready-for-firefox-for-android/ Par contre, cela requiert peut-être des modifications, je n'ai pas trop regardé.

> malheureusement, j'ai l'impression que c'est réservé aux extensions officielles du store, non? Je découvre un peu au fur et à mesure, de ce que j'ai compris: - Jusqu'à maintenant,...

I'm experiencing the same issue as @TheHaricover, and after some research got to the following conclusion. What seems to happen is that while installing the package, `opam` uses the `tar`...

Thank you for your replies, I currently don't have access to the network to test anything (no classes) but will report back as soon as I can!

@SO9010 pinging seems to be blocked on the university network (none of the transmitted packets received, even for google.com). I can however "ping" using `telnet` or `arping` and these work...

Sorry for the very long wait, I will try what you suggest as soon as I'm back on eduroam. Good to know that it doesn't affect many :)