Build docs under CI #215
Description
Building all this locally is cumbersome, slow and poorly documented, especially for blameless users who shouldn't have to worry about the zany things we've done here.
An all round quality of life improvement would be if we used CI to build for each platform and had the default behaviour for local builds just be to download the generated files.