Board Thread:General Discussion/@comment-26923519-20170307181808/@comment-27702369-20170309145129

All editors should die except SourceEditor.