Small tweaks.
Redirect git links to GitHub.