Ho risolto seguendo questa ulteriore indicazione, rispetto a quella indicata da Winfox, che ovviamente ringrazio:
1. Installare l'estensione Locale Switcher. Questo metodo è il più semplice, e dà il vantaggio di poter cambiare la lingua direttamente dal menu Strumenti di Firefox.