Configurações do site filtram para excluir plugins desativados agora que muitos mais plugins vêm com o core

[Moin]

Eu acho que um filtro ao pesquisar por "todas as configurações do site" para excluir resultados de plugins desativados também seria útil.