publish.sh (gh-pages) replacing upload.sh (SourceForge).