On Sun, Dec 29, 2013 at 3:57 PM, Robert Moskowitz <rgm at htt-consult.com> wrote: > > Oh, and I have lost <ctl-alt-l> to lock my desktop. super-l