Miscellaneous improvements to the Git instructions.