Finished moving from SourceForge to GitHub (fixed some glitches
of doing the transition).