Deployment

[nerik]

The build is currently done by merging main to the gh-pages branch, build locally, push, and use the default GH pages action.
This is cumbersome and archaic, needs to be addressed.