{ "basexTools.xquery.profile": "basex-10" }