38.6.1. GitHub pages

As mentioned before the TOC, we have to push this README to GitHub pages due to: https://github.com/isaacs/github/issues/1610

For now, instead of pushing with git push, I just remember to always push with:

./publish-gh-pages

I’m going this way for now because:

The only files used by the GitHub pages are: