If you run the code from the PR you should see something similar to the following: Alternatively to test, you can add the change from the vscode.d.ts and the extHostTypeConverter.ts files from the PR ...

Since there are some people that have to "fight" with some admins on remote servers to be able to have a decent setup and a good access to /tmp, sometimes it would save hours of waiting times to let ...