I originally installed EOS with the Cinnamon DE. I just installed XFCE, then closed down the computer, started it up again, and expected to be offered a choice of DEs: Cinnamon and XFCE.
But after typing in my password it opened Cinnamon. How can I get it to open XFCE?