Modifying keyboard shortcuts to boost productivity