workspace.json vs config.json downloaded from the AzureML web UI

[marcindulak]

The workspace.json has the "name" parameter, while config.json "workspace_name", reading:

{
    "subscription_id": "...",
    "resource_group": "name-of-the-resource-group",
    "workspace_name": "name-of-the-workspace"
}

This small inconsistency adds another step when setting up workspace.json based on config.json.