So - new question. This fix "disables" the select key. Can it also
be mapped back to what it should be - like how both shift keys are
mapped to the same thing? I mostly use it for when I lock the screen,
which I can no longer do now that the key doesn't work. Any ideas?