Changing the default Workspace path has a graphical bug once the new path is pasted – the old, default path overlaps the new path:
Once the SettingsTool is reloaded the full new path will be displayed correctly:
This doesn't seem to impact functionality (the Workspace path changes regardless) but was confusing the first time I tried to change it.