chiark / gitweb /
man: document the new Ctrl-Alt-Del magic