plus besoin de bricoler, la version modifiée par Mozilla pour corriger le problème est arrivée dans Stretch.