Edit to the help text to refer to GitHub instead of SourceForge, fixes #1203.