This would allow two things: - Terminate a run from within JS by calling `window.close()`. - Terminate a run when a user closes the browser. This is especially useful for `run`.