Publish GitHub Pages

Update `READMEs` to point to the `next` tag (#3633) #547

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
compile-gh-pages-legacy	28s
compile-gh-pages	1m 57s
publish	24s
	2m 49s