Please build docs in Jenkins
It would be great if we'd verify that docs still build after changes. We should do this after we got our amd64 build host since we can then use a docker container (not available on aarch64) to build things (I can help with that since I intend to do the same for our C stuff).