@bbcbasic: there is indeed a difference between our OSS project and Visual Studio Code, which is essentially our distro. For a detailed explanation, please see https://github.com/Microsoft/vscode/issues/60#issuecomment-1....