Non basta solo installare una estensione per farla funzionare specialmente come nel caso degli editor può essere in condivisione con altre, bisogna pure sceglierla ed assegnarla, sceglierla come predefinita nel pannello configurazione e assegnarla nella gestione degli utenti.