To make it discoverable how to change window managers, the phrase "Press F1 to change window manager" should be added to the GUI login screen. This will prevent people needlessly tampering with config files in order to change window managers.