JSON editing in Visual Studio Code