Code Editor : extensions.json