280Setup One-Click - Extensions not installed in WSL when installed locally.

[kyukibug]

Half blocked by eecs280staff/vscode-setup280#26

What
When WSL students install VSCode for the first time and are immediately directed to install Setup280, they will install this in their local VSCode--separate from their WSL VSCode. This means when they click the "Open in WSL" button, their extensions will not be installed in WSL, but only locally.

Where
One-Click Setup Subsection

Proposed
Research should be done if this is doable from the extension's side of things, or if this needs to be worded carefully as a pitfall to press the "install in WSL" buttons once VSCode is reopened in WSL.

[kyukibug]

After research, the extension cannot do much to combat this issue. It will need to be either addressed in the tutorial itself or we can address it in the pop-up the extension gives when it prompts the student to "Open in WSL".