Flipping the Linux switch: Desktop environments vs. window managers