suggestion

Hi! I have been really annoyed by the default Linux profile for keyboard shortcuts, that says it would send Option< as Alt+7 to Linux. The actual effect is that just pressing Option sends Alt+7 to the Linux! This is causing all kinds of shortcuts trigger, depending on application being used...