Ack, sorry. I didn't realize that the other comments were so recent. I'll read the dates more carefully next time. -- gdm / X server does not restart after Ctrl + Alt + Backspace https://launchpad.net/bugs/34859