Reset REPL terminal mode to working/default settings

This came up lately, see this thread: