Pretty standard approach here. Also tidy up a bit about the GitHub Pages update functionality. Note that we separate the Pages bit from the main docs so that the "latest" docs can easily link to the latest stable frontend release.
Peter Williams