Man findet diese fettgedruckten Einträge, wenn man in die Filterzeile z.B. extensions.tabmixplus eintippt...
Bist Du sicher, dass die Eintäge mit "extensions.tabmixplus" gefiltert werden können?
Hintergrund meiner Frage ist, dass bei mir nach jahrelanger Benutzung von Tab Mix Plus - hatte es aber vor dem Update auf FF57 entfernt - jetzt unter about:config jede Menge Einträge habe, die mit "extensions.tabmix." beginnen.
Grüße Lionsson