The Platform Properties window, with Name, Description, Number of Devices, HTTP Proxy Settings, HTTP Proxy Host, and HTTP Proxy Port settings displayed.