I have a new bluetooth keyboard, and for some reason the keycode that the escape key returns is 172 instead of 1 (according to 'showkey'; the same codes have 8 added in xkb, so 180 instead of 9). By following this answer I am able to remap ESC to work on keycode 180 instead of 9, so that's great, however I cannot seem to do it twice, i.e. write
<ESC> = 9;
<ESC> = 180;
In this case only the latter setting works. This is sub-optimal because it then breaks the key on the in-built keyboard. So I can get one or the other to work fine, but not both.
What is the correct thing to do about this?