oh, that's extra dumb, since there's no canonical[1] Linux desktop. that said they should offer shortcut presets, like JetBrains products. changing the default is just whack.

[1] oh, what the hell!? pun unintended, but now at least the name makes sense