Fixing the borked numeric keypad in Ubuntu Hardy

I was finally able to do some hunting around Launchpad to find out why the numeric keypad on my keyboard “broke” once I got Ubuntu Hardy installed, and I was able to find a workaround for it. It’s also not a Hardy bug after all but a GNOME bug, and I’ve got both a workaround and bug links for all that need it.