git/local: A bunch of changes, particularly to make the exercises more explicit