This comment no longer seems needed/accurate (went with the EditorManager line that was deleted)