PierreAntoineChampin (@pchampin): "Did I ever mention that I just *love* these FF extensions? https://addons.mozilla.org/fr/firefox/addon/headingsmap/ https://addons.mozilla.org/fr/firefox/addon/jump-to-anchor/" | nitter

PierreAntoineChampin @pchampin

11 Sep 2020

Did I ever mention that I just *love* these FF extensions? addons.mozilla.org/fr/firefo… addons.mozilla.org/fr/firefo…

jump-to-anchor – Adoptez cette extension pour 🦊 Firefox (fr)

Télécharger jump-to-anchor pour Firefox. Jump to the nearest anchor above a selection

addons.mozilla.org

Sep 11, 2020 · 6:35 AM UTC

1

1

Thomas Steiner @tomayac

11 Sep 2020

Replying to @pchampin

Peut-être tu vas aimer cette extension aussi: addons.mozilla.org/firefox/a….

1

PierreAntoineChampin @pchampin

11 Sep 2020

Wow, this is the next step! :-) thx

1