Hi, I'm currently using a 3x3 grid of desktops and I have each desktop mapped to a number key on the numpad using Ctrl+Cmd as the modifier. The shortcut keys usually work perfectly, but every once in a while, random shortcuts in the grid will stop working (e.g. Ctrl+Cmd+4 works, Ctrl+Cmd+5 does not work, Ctrl+Cmd+6 still works, etc..) This randomly happens to about half the shortcut keys on the numpad. I'm not sure of the cause, but quitting and restarting the app fixes the problem. Is this a known issue?