A Github text editor similar to Brackets.io but not open source and not closed source