I haven't made the PR yet, but it will come. However that PR will also add a dependency to pty.js, so I'll wait until we can switch to that.