Board Thread:General Discussion/@comment-27080627-20161013174107/@comment-168424-20161020195014

Did you check Special:Preferences?

There should be a choice of editors after you click the Editing tab.