Yeah, I've already set that up on my system — although Cinnamon doesn't allow some more complex setups, seemingly just like KDE. Gonna have to look into xkb remapping.

Mac is again ahead here, because open-source Karabiner allows arbitrary mappings and different mappings per keyboard (e.g. built-in vs external ones).