toc = [
  { "url" = "index.html",         "text" = "Introduction"  },
  { "url" = "documentation.html", "text" = "Documentation" },
  { "url" = "examples.html",      "text" = "Examples"      },
  { "url" = "development.html",   "text" = "Development"   },
  { "url" = "download.html",      "text" = "Download"      },
]