no control over creating code folder location

[scruss]

It makes ~/mu_code, and there's no obvious way to change it in the code pulled from git

[ZanderBrown]

workspace key in settings.json

Unmerged documentation update here

[carlosperate]

The PR mu-editor/help-pages#1 has been merged already, but we don't yet have an entry for this key info, so I've created this issue mu-editor/help-pages#2.
Let's leave this one open until the documentation is done.

[ntoll]

The documentation is in the new website (coming soon). Closing.