Mais non! Quelle horreur! I had forgotten that Atom is a GitHub project. Atom being the cat’s pyjamas of editors.