Update json schema URL

[federicobozzini]

What it does

It replaces the json schema used from https://schemastore.azurewebsites.net/api/json/catalog.json to https://www.schemastore.org/api/json/catalog.json. The first URL just redirects to the second one which is the canonical URL for the schema as shown in the official schema store page.

How to test

Check the network connections of the browser.

Review checklist

• As an author, I have thoroughly tested my changes and carefully followed the review guidelines

Reminder for reviewers

• As a reviewer, I agree to behave in accordance with the review guidelines

[vince-fugnitto]

LGTM 👍 The URL update and extensibility updates look good

[JonasHelming]

@federicobozzini @vince-fugnitto I wonder whether we could get somehow rid of this. We recently investigated the network traffic of Theia and this is the only call Theia actually does. (I am fine with this change though, should we merge it?)

[vince-fugnitto]

I wonder whether we could get somehow rid of this. We recently investigated the network traffic of Theia and this is the only call Theia actually does. (I am fine with this change though, should we merge it?)

@JonasHelming the proposal in the past was to do the following #11881, I'm not sure if it is feasible at the moment to completely remove it but you can investigate.

[federicobozzini]

Can we merge this in the meanwhile as an improvement over the current state of things?

[JonasHelming]

From my POV: yes!