C'est devenu inutile : la mise à jour 11.3 d'Antidote, disponible depuis avant-hier, a corrigé le problème. Je l'ai installée, et apparemment ça marche. Pour l'installer, ouvrir Antidote 11 dans Applications, onglet Aide -> Recherche de mise à jour... puis se laisser guider.