{ "explorer.sortOrder": "mixed" }