pxt-ev3/libs/settings/pxt.json

{
    "name": "settings",
    "additionalFilePath": "../../node_modules/pxt-common-packages/libs/settings---files"
}