They are all already imported.
Ok, we have changed the polling frequency to 10 minutes for the sake of testing (we will bring it back to 180 minutes, good enough for us). After zogstrip’s fix, most feeds are processed within a minute or less. There is only a couple of very long feeds that can get to 2 minutes and beyond, but never (that I have seen) beyond 5 minutes. This RSS feed is the only one that reliably gets to 4 minutes or more, but it is extremely long, so I’m not sure much can be done about this use case. Even the browser needs while to just render it. (And we might remove it for unrelated reasons.)
The fact that the entire polling process doesn’t take more than 5-6 minutes is astounding. A huge improvement. For me, this report can be resolved. Thank you very much again, @zogstrip.