Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
oops, it's :package-local-nicknams, not :local-nicknames
Also mention it in the manual.
...just couldn't get it right the first time.