0) Log in to one of the Windows 10 machines.
1) Start VS Code (via the software hub)
2) File -> Open Folder
3) Navigate to C:\xena\my_project and then "select folder"
4) Under MY_PROJECT in VS Code, open up "src" and click on "test.lean".
5) If it doesn't work, let me know and I'll update these!