Sì, questo è anche un problema con le impostazioni delle categorie, ad esempio:
(Plugin Locations installato)
Sarebbe davvero bello se anche questo fosse grigio se non ci fossero modifiche alle impostazioni da confermare…