{
  "index": "Home",
  "quickstart": "Developer Quickstart",
  "manual": "Manual Setup",
  "docker": "Docker",
  "gitpod": "Gitpod"
}