Following Debian’s choice, I switched back to Gnome, after having used Xfce for quite a while. After some tweaking, I think it can stay.