Rated 5 out of 5 stars
Hi there - Nice job you did. As a windows user testing Linux, this was a minor annoyance. Thank you for fixing this:).
PS: It would be wonderful if most keyboard shortcuts remain the same regardless of the OS. Ah that was a good dream!