I've included the file, and run ``` console.log("Hello") console.flush ``` No response. No error. No nothing. :-( This would be really handy. Currently writing to a log file; but console is more immediate and handy.