Hi perhaps we should also check, if we can adjust keyboard shortcuts to be more in line with the different OS we are using (not sure what the status on that is)...
For gnome, there is some information available here: https://developer.gnome.org/hig/stable/keyboard-input.html.en Arun
