Board Thread:Support Requests - Getting Technical/@comment-5695922-20160219033447/@comment-24055022-20160220030956

Yeah, I'd say that source editor is better as well. If you want to change it, you can do it here.