User guide, deployment page: add section 'Deployment on GitHub Pages'#1435

chalin merged 4 commits intogoogle:maingoogle/docsy:mainfrom

deining:deploy-gh-pagesdeining/docsy:deploy-gh-pagesCopy head branch name to clipboard