Dev docs not updating #173

https://docs.python.org/dev was last updated on Oct 19, 2023.

(https://docs.python.org/3/ is ok, last updated on Oct 21, 2023.)

@JulienPalard Please can you check it? Are the build logs visible somewhere?