Choix de l'éditeur

Hello Ale !
On peut choisir entre plusieurs éditeurs, à condition de les installer.
On sélectionne l'éditeur dans la configuration générale. OK.
Mais alors, à quoi sert le choix d'éditeur dans la configuration du module Pages ? D'autant plus qu'il y a seulement Whizzywig et rien d'autre dans le menu déroulant.