Comment out Terminal settings from cmd-key-happy config