allow selection of workspace proxy


We deploy a set of workspace proxies around the world with a certain service provider.
That provider recently had an outage, and this appears to have lead to higher-than-normal latency on the proxy closest to me (Johannesburg). The proxy with the lowest latency doesn't seem to be chosen, nor can I configure it.

As a user I expected to be able to control this since I can select my preferred proxy in the Coder dashboard:


El issue no menciona archivos, tests ni puntos de entrada. Empieza rastreando cómo la extensión selecciona y se conecta a un Coder workspace proxy, y luego compara ese comportamiento con el control de proxy preferido del panel de Coder. Se considera terminado cuando un usuario puede seleccionar un workspace proxy y la extensión usa esa selección, incluso cuando los proxies tienen distinta latencia.

Escrito por el modelo de indexación a partir del texto del issue.