Merge branch 'move-pages-index' into 'main'

Draft: Move pages-index.html to doc/

See merge request !79
13 jobs for !79 with move-pages-index into main in 4 minutes and 22 seconds (queued for 3 seconds)
latest