--- # List of VSCode extensions to be installed with the VSCode editor_vscode_extensions: []