Win: do not open same file twice
Repl: properly start subprocess on Windows
Terminal: Use PowerShell on Windows
Open Terminal: move to Tools menu