Thanks, I hadn't seen that. That's quite interesting. I'd ended up settling on XFCE aound the time of the Gnome 2 / Gnome 3 / Unity schism. At the time, XFCE had felt a bit snappier than KDE. I've lately been thinking about giving KDE a try again, so this is good to know.