Thanks @MichaelTunnell - great news about updates to both major DEs. The thing I get confused about it window manager / compositor / DE. Are they separate layers, interchangeable?! I used to get especially confused when I used to install multiple DEs on Debian (though I know it’s not recommended) because apparently screen-locking only worked on Gnome by ensuring some lower-level setting was correct. Nowadays I just run Gnome for my daily driver, especially after it seems to have become less resource intensive. I also found switching off background indexing for the search made Gnome generally faster.