CCP4 wiki now remembers which editor you prefer. You can switch edit modes as you edit, and change your preference later.