Comment 3 for bug 681348

See also: bug #672431 which notes that the key combos for hide-all-windows and lock screen changed in Maverick.