Point folks to GitHub instead of SourceForge, except for the mailing lists, which
GitHub does not provide.