Migrate SourceForge snippets to new file server [dev.]