Gnome: se non funziona più il tastierino numerico

Se un bel giorno accendete il PC e scoprite che il tastierino numerico non funziona più come vi aspettate, questa è una soluzione che ha funzionato sul mio PC.

Aprire con il vostro editor preferito il file /usr/share/X11/xkb/compat/complete

Cercate queste sue righe:

augment "mousekeys"
augment "accessx(full)"

Mettete due slash davanti per commentarle:

//augment "mousekeys"
//augment "accessx(full)"

Riavviate.