Remove stuff that's developer-only - write Git access belongs
to Comitter's Handbook, normal users don't care. Also remove stuff
that's redundant, like two examples for 'git pull', and confusing,
like the ssh URL expansion/substutution explanation. Move SSH
keys lower down; there are already SSHFP records for them. Tweak
wording.