Migrate read the docs config to new version

[gdementen]

Ideally before Monday, July 24, 2023. At the latest before Monday, September 25, 2023

See: https://blog.readthedocs.com/migrate-configuration-v2/

[gdementen]

Easiest issue ever. We were already using v2 😉