Including Github repository URL in manual.