When using an HTTP proxy in vscode, the openctx plugin failed to download the remote provider file correctly.

[trans-cosmos-zhenhuaxi]

I am using vscode to run openctx and cody on a Windows machine with restricted internet access. In order to access the internet, I have to go through an HTTP proxy. However, when I set up the hello-world provider for openctx, it fails to download the files correctly (even though I can access the provider file through the browser with the proxy and can access cody and other websites normally), and shows the following error:

• .vscode settings
  
• error log
  

It works fine when I use local files for hello-world.

• .vscode settings
  

• view success
  

I suspect that the current source code of openctx does not handle HTTP proxies. Am I correct in my assumption?