Support sphinx 7
While working on !411 (merged) to update our infrastructure, I saw that our setup breaks with sphinx 7, likely due to us using an ancient theme. This will likely be resolved by using a modern theme though.
See job #382836 for the error logs.