puoi cambiarlo nella sostituzione del testo. credo che le stringhe di testo siano rispettivamente in js.categories.all e js.tagging.selector_all_tags. quando usi la sostituzione del testo, è necessario un aggiornamento del browser o talvolta anche la cancellazione della cache del browser affinché venga visualizzato subito.