Non, mais je viens de trouver cela:
https://forum.ubuntu-fr.org/viewtopic.php?id=2008065
Du coup je comprends que c'est depuis que Firefox utilise GTK3, donc depuis FF 52 (à peu près au moment où j'avais commencé à utiliser les PPA Beta).
Avec ce gtk.css, j'ai donc maintenant des barres "classiques" (pas de changement de taille en survol), mais au moins elles sont plus grosses.