I think this should be possible, see the TODOs at the bottom of `.github/workflows/docs.yml`
I think this should be possible, see the TODOs at the bottom of
.github/workflows/docs.yml