I have filed bug 281669 about the sticky num lock key (Bryce's issue #2 in https://bugs.edge.launchpad.net/ubuntu/+source/linux/+bug/280646/comments/41)
I have filed bug 281669 about the sticky num lock key (Bryce's issue #2 in https:/ /bugs.edge. launchpad. net/ubuntu/ +source/ linux/+ bug/280646/ comments/ 41)