Many changes to the git notebook.
More discoveries about different editors.