Update: see my workaround at the bottom of this post.
My overall goal is to use conda from the terminal of VS Code on my Windows 10 laptop, in order to c
conda