> Dans le même style, je pense qu'il serait utile dans des pages comme
> "Extensions" de pouvoir différencier distinctement ce qui est du "core" d'un
> plugin additionnel ; ou bien encore about:config. Que ça soit une séparation
> franche textuellement ou/et d'un filtre.

Bonne idée. Ca me paraît pas trop compliqué à mettre en oeuvre, en plus :)

Je dois le penser très fort depuis longtemps car j'étais persuadé d'avoir créer un ticket qui va bien avec… (mais avant faudra que je vérifie que ce n'est pas déjà suggéré par le travail de Gautier).