Thanks a billion, @davidrevoy for your excellent USB numeric pad customization guide (for working with tablets on Linux)!
Just tried it this very morning and it works like a charm!
https://www.davidrevoy.com/article989/how-to-customise-a-usb-numeric-keypad-under-gnulinux
🤗