Releasing builds

Only the maintainer can do this.

1. Create a tag
2. Run release.yml on the tag.

Web demo

Run the publish-docs.yml workflow.