It would be convenient to have the docs build artefacts produced by https://github.com/data-apis/array-api-extra/blob/main/.github/workflows/docs-build.yml on PRs hosted somewhere, so that one doesn't have to download the files and preview them locally.