Python RDP API does not use proxy server when connecting

(Repeating this as a new question, after posting it as a continuation of a previous thread and seeing no responses. Maybe with a more accurate title...)

I have developed a working script using the Python RDP API. It fails to work in an environment that requires the use of a proxy server to access the Internet. The script is unable to reach the external (AWS) RDP server.

The issue is not in Python. In trying to reach a random external URL from within Python (e.g., https://www.google.com/), I'm successful with the environment HTTP_PROXY and HTTPS_PROXY variables set. If I explicitly unset them in the Python session, I get a failed connection, as I would expect. If I explicitly set them in the Python session, I can successfully reach the URL.

                

                 
import os
                 
os.environ["HTTP_PROXY"] = "webproxy.pln.corp.services:80"
                 
os.environ["HTTPS_PROXY"] = "webproxy.pln.corp.services:80"
                

Regardless of whether the proxy is set, in the environment and/or in Python, the RDP API cannot connect. This seems (to me) to indicate that the issue is that RDP is ignoring the proxy server variable setting: RDP's open_platform_session tries the connection without the proxy, and fails.

Is there some RDP system setting or configuration that would force the connection through the proxy server? RDP is clearly not taking the environment setting into account.