Update Readthedocs config to use Readthedocs Add-ons, per their migration/deprecation plan

[mperrin]

RTD is changing some of their infrastructure and it sounds like we need to update some conf files for consistency.

See https://about.readthedocs.com/blog/2024/07/addons-by-default/

Deadline Oct 7 2024.