Apart from the changes in#4386, some additional changes might be necessary to adapt to RTD Addons once our furo theme has adapted. Punshlines:

• the switch needs to happen by 2024-10-07
• furo tracks the transition inCoordinating with RtD about upcoming changes pradyunsg/furo#795. I've already subscribed to that thread.

I recommend that we wait for the issue to be closed and then test out what we need to change. In particular I expect that we might need to

• check if our type-as-you-search implementation still works and if we can replace it by the new native feature
• Check ifthis part of our rtd build still works/is still needed

If furo is readybefore 2024-10-07 I recommend that we tryswitching early

If furo isnot ready at 2024-10-07, we should try (preferably a bit before) to usesphinx-build-compatiblity to manually enable backward compatibility. Or at least check if that's necessary.