Does Konsole set `$TERMINAL_PROGRAM`?