I switched over to Thunderbird instead of Evolution, and that made a huge difference in performance. It’s still slower than accessing local pop boxes, most of the time, but I can certainly see that there are advantages. So I’ll give this a few more weeks to see if it grows on me.

Thanks for the tips, folks.