)]}'
{
  "id": "513f5b68dc4cdf563a4c1baddf0904ed33d0c23d",
  "repo": "java-prettify",
  "revision": "041347c36e4f681b90dd4dd893bb98908f84d726",
  "path": "javadoc/prettify/lang/LangTex.html"
}