Atom: Github-Editor erreicht Version 1.20