I thought there was an issue for this, but it seems like there is not? How can the VS Code extension work with `HTTP_PROXY`, etc