Mio Dio.
Sapete qual'era il problema?
Avevo selezionato l'editor predefinito per il mio profilo utente (il Tiny, appunto). Solo ora ho appreso che se selezioniamo un editor per un utente specifico, quest'ultimo non sarà soggetto al cambiamento di editor operato in configurazione globale, pertanto, dopo aver ripristinato la condizione "seleziona editor" alla voce Editor utente nel profilo utente, tutto è tornato a funzionare normalmente. Ma tu guarda...