

Switch to a different virtual terminal (ctrl-alt-F3), login and restart desktop manager, switch back to the normal GUI terminal (ctrl-alt-F2)
Switch to a different virtual terminal (ctrl-alt-F3), login and restart desktop manager, switch back to the normal GUI terminal (ctrl-alt-F2)
If you don’t know, I sure as hell don’t.
Seriously, it was neither of those. Either different English or an ad.
Go away, NSA.