Documentation: updates to "Everyday GIT"