Revert "Clean up gh-pages"

Apparently, GitHub overrides "source" option >.<

This reverts commit 48811c559cb880af2467f571a399d158f7e49281.