vscode settings json extensions allowed