pdfbox/.vscode/settings.json

{
    "basexTools.xquery.profile": "basex-10",
    "basexTools.xquery.showHovers": false,
   
}