The correct solution for this would be to add support for Linux /dev/input/event
keyboard events. This device file reports reliable key names for all keyboards,
no matter how they are connected.
Are there any plans to allow specifying Linux Input key names (see
<linux/input.h>) instead of the regular <AE01>, <AE02> etc. names, when on the
Linux platform?