It seems that after the merge of #3818, the RTD builds started to time out while the docs CI take about 37 minutes.
As a reference, before #3818 our docs CI completed in about 6 minutes.
I'm not sure if that is due to #3818 or because of updated dependencies (dask?), but I think we should try not to take these 30 minutes.