Github's online editor is really bad