Dear LazyWeb,
Every time I log into GNOME I have to disable the “Allow to control the pointer using the keyboard” option in “Keyboard Preferences” if I want to be able to use the numpad on my external keyboard. Why disabling it once is not enough? How can I permanently disable this option?