{
  "id": "2ae9ba84-3a0d-4d4c-8338-3a1478dc5fe3",
  "snapshot": "chrome",
  "instruction": "Lately I have changed my English name to Thomas. I want to update my username. Could you help me change the username in chrome profiles to Thomas?",
  "source": "https://superuser.com/questions/1393683/how-to-change-the-username-in-google-chrome-profiles?rq=1",
  "config": [],
  "trajectory": "trajectories/",
  "related_apps": [
    "chrome"
  ],
  "evaluator": {
    "func": "",
    "result": {
    },
    "expected": {
    }
  }
}