Naïvement je me suis dit qu'il suffisait d'utiliser la fonction intégrée d'import/export des marques-pages de firefox, mais en fait mozilla n'a pas implémenté cette fonctionnalité: 2021: "Firefox on Android DOES NOT SUPPORT importing bookmarks yet" et As of 2019, Firefox for Android has no built-in support for exporting bookmarks.

Pas de souci, naïvement j'ai suppposé qu'il suffisait de prendre un gestionnaire de fichiers et d'aller dans le dossier du profil pour copier le fichier contenant les marques-pages. Donc j'ai essayé et en fait non, parce que android cache l'accès à partition où les logiciels sont installés. Il faut rooter son ordiphone pour y accéder.
Mais même avec l'accès root, mozilla a décidé que pour la version android, les marques-pages ne seront pas dans un fichier mais dans une base de données sqlite d'où il faut les extraire, voila la manip si ça peut aider quelqu'un:

aller dans le répertoire du profil: / Device / data / data / org.mozilla.firefox / files / mozilla / xxxxxxxx.default
localiser le fichier browser.db et le transférer vers un ordinateur qui ne soit pas un -phone.
se munir d'un logiciel qui peut manipuler les bases SQLite comme SQLite Database Browser (http://sqlitebrowser.org/)
ouvrir le fichier browser.db dans le logiciel, trouver la table "bookmarks" et l'exporter vers un tableur comme libreoffice calc.
effectuer les quelques modifications et exporter ce fichier au format .html
voila.
voir aussi https://gist.github.com/dogancelik/b82c6eac880eb58acd2b

Bon la solution n'est pas simple et n'est pas pratique parce qu'il faut rooter l'appareil, mais rassurez vous c'est plus fonctionnel que d'utiliser firefox sync, car vous ne pourrez tout simplement pas exporter vos marques-pages mobile vers html arpès synchronisation parce qu'il y a un bug dans firefox qui omets les marques-pages mobile lors de l'export. Un bug ouvert depuis 4 ans: https://bugzilla.mozilla.org/show_bug.cgi?id=1419545

Quelles autres pistes à explorer ?
Quand il manque des fonctionnalités dans firefox (que mozilla ait décidé de les enlever ou de refuser de les inclure) il y avait les extensions qui permettaient de pallier ces manques, mais depuis que mozilla a décidé que les extensions firefox devaient être compatible avec google chrome, c'est moins évident.
Apparemment il y a une extension (https://addons.mozilla.org/en-US/firefox/addon/fvd-synchronizer/) mais c'est un truc qui synchronise avec un serveur tiers et c'est en gros firefox sync donc on en veut pas.

Free export bookmark ? (https://addons.mozilla.org/en-US/firefox/addon/free-export-bookmarks/ ) firefox android ne le supporte pas.
ouvrir tous les bookmarks dans des onglets, utiliser onetab (https://addons.mozilla.org/en-US/firefox/addon/onetab/) pour tous les mettre dans une page html et enregistrer le résultat ? non, pas de onetab sous android.
pparemment il n'y a en tout que 16 extensions pour firefox android (https://addons.mozilla.org/en-US/android/search/), donc on abandonne cette piste

Nouvelle piste, KDE connect a démontré son utilité pour partager des fichiers entre un appareil sous android et un ordi sous linux.
test: on ouvre firefox sur android, on affiche les marques pages, on en sélectionne un avec un appui long, puis on sélectionne les autres un par un (pas d'option pour tout sélectionner dans firefox android (parce que ta gueule l'utilisateur tu n'en auras pas besoin, nous chez mozilla on est le meilleurs en UX après Gnome), on clique sur l'icone "partager (les 3 boules reliées entre elles avec 2 traits) et on envoi ça vers kde connect préalablement connecté à la machine de destination sur laquelle un navigateur est ouvert.
Et là paf le partage se faire un onglet s'ouvre avec comme URL les marques-pages séparés par 2 %0A , ce qui donne: URL1%0A%0AURL2%0A%0AURL3
un copié collé dans un éditeur de texte, on remplace les %0A par un renvoi vers une nouvelle ligne et on a la liste des marques-pages du firefox android.

Une piste prometteuse qu'on va creuser, et si on utilisait ce partage directement vers un éditeur de texte ? sur mon appareil de test je n'ai que Simple notes installé (se trouve sur f-droid: https://f-droid.org/en/packages/com.simplemobiletools.notes.pro/ ), et hop après un partage vers simplennotesme voila avec une note qui contient les URLs de chaque marque-page, un sur chaque ligne. un appui sur le menu et on exporte vers un fichier et on transfère ce fichier avec kde connect.
!! Victory !!

À voir si ça marche avec beaucoup de marques-pages car testé seulement avec 3 (je n'utilise pas les marques-pages dans firefox, j'ai abandonné depuis des années car mozilla n'a jamais souhaité founir un gestionnaire de marques-pages fonctionnel).

Et là on en vient à une autre piste, celle de ne pas utiliser les marques pages de firefox parce que c'est du caca en barre et utiliser à la place un logiciel révolutionnaire de gestion de marques-pages: shaarli (avec wallabag ça doit marcher aussi). Depuis firefox android on ouvre chaque marque-page et on l'ajoute dans un shaarli et ensuite on exporte le shaarli en html.
Il est peut-être possible de combiner les deux pistes en ajoutant shaarli comme destination possible d'un partage avec https://github.com/dimtion/Shaarlier

TL;DR: mozilla n'a pas jugé utile de permettre d'importer/exporter les marques-pages dans firefox android. Il y a toutefois des méthodes plus ou moins alambiquées, le plus simple semble être: ouvrir les marques-pages, tous les sélectionner et utiliser le partage pour les envoyer soit vers un fichier texte (par exemple avec simple note), soit vers un shaarli (avec shaarlier).
Il est recommandé de toujours vérifier comment on peut importer ou exporter ses données avant d'utiliser un programme ou une fonctionnalité, ici il est recommandé de ne pas utiliser les marque-pages de firefox android, plutôt utiliser shaarli ou wallabag et sous android stakali (https://stakali.toneiv.eu/ ) permets d'avoir une copie locale hors-ligne du shaarli directement sur l'appareil.
— Permalink