A few documentation updates to cater with the move from svn/trac to
GitHub