Это настройка (settings.json
), нет необходимости изменять манифест расширения.
Обратите внимание, что в наши дни VSCode открывает настройки с пользовательским интерфейсом по умолчанию, а не в rawJSON (что, вероятно, не имело место при написании readme Code Runner).