Hola,
Dejo enlace a otro hilo del foro en el que veo que finalmente conseguiste descargar los símbolos.
Sólo para que quede como referencia para otra gente que llegue aquí con el mismo problema.
https://clipdynamics.com/foros/tema/visual-code-no-puedo-conectar-al-server/
Un saludo,
Cristina Nicolàs
