doc additions for publishing the GitHub pages