Explain GitHub Pages change

Always push to both `master` and `gh-pages` branches.