... and yes, I agree with the sentiments in bug #890747 - there should be more options available when pressing CTRL+ALT+DEL.
... and yes, I agree with the sentiments in bug #890747 - there should be more options available when pressing CTRL+ALT+DEL.