Well, I guess this means my hacks to get Elementary to run on the Pi 4 are no longer necessary.
I’m quite looking forward to trying this out in a few weeks, although I’ve also been using Ubuntu MATE because it supports RDP a little better (the Elementary compositor does not like Xrdp
at all, and I like to remote to my Pis every now and then).