What does `Process.kill('TERM', pid)` do on Windows? Does it crash? I'd rather not change this for Linux; TERM is the correct signal really. So if we have to use INT on Windows I'd like it to only be used on Windows.