#3: Improving Linux default keyboard shortcuts