Claim to fame: The person credited for writing the Ctrl-Alt-Delete code is retiring. (It’s not clear from the story whether he also hit on the idea of using Ctrl-Alt-Delete as the restart sequence.) Thanks to How Appealing for the pointer.