gh-pages.sh: copyright symbol