)]}'
{
  "id": "880fce3f68b64e2c4b9519eb2fc1714bb17b4405",
  "repo": "openoffice",
  "revision": "refs/heads/python-editing-embedding",
  "path": "main/odk/docs/tools.html"
}