Updated the static copy of my web site on GitHub Pages at mirror.manton.org. Still need to automate this. Too slow to do often.