@b4n, one benefit of having the platform specific keybindings file is that it makes what is different on the platform clearly visible, and so easier to maintain.
Yes, and what I proposed kept that the same. But we *do not* have a system-wide, non-platform-specific keybindings file yet, so I don't replace anything.