* fixed RemoteControl.lines: no spurious newline added anymore; can filter by StdStream
+ TODO: now the bug re not resetting state in Debugger shows up