Shell script helpers, useful to publish satis-repositories to github-pages.