{
  "name": "CatLab",
  "shortName": "CatLab",
  "start_url": "/catlab/client/index.html"
}