Describe the bug
#2422 Changed a config default, which in turn generates new docs with make. However this PR did not include the docs change, so if you run make on main branch you get new docs. See #2428.
Steps to reproduce
No response
Expected behavior
No response
Additional context
No response