The key worked fine for the past couple years until last week, and the super keys are the only keys that are not working now. Seems unlikely to be hardware. Hopefully it will get fixed in the kernel at some point. Thanks for looking into it. On Tue, Jun 9, 2020 at 11:10 PM Daniel van Vugt