https://github.com/ldionne approved this pull request. LGTM as well. This means we'll be able to remove our Buildkite job that builds the documentation -- thanks for that! https://github.com/llvm/llvm-project/pull/69828