Document the necessity to run setup_github_pages.