The text be87ccb08b9b, as Debian 7 (Wheezy) shipped it.
set the function of the Ctrl-Alt-Del combination
ctrlaltdel(8) on Linux now
