Eureka! For those looking for a workaround to this, I found a (somewhat obvious) one using MS PowerToys’ Keyboard Manager (pretty sure there are key remappers for Linux and MacOS too, as well as others for Windows if one would prefer):
Eureka! For those looking for a workaround to this, I found a (somewhat obvious) one using MS PowerToys’ Keyboard Manager (pretty sure there are key remappers for Linux and MacOS too, as well as others for Windows if one would prefer):
