var DOC_VERSIONS = [
  "v1.0",
  "v0.3",
  "v0.2",
  "v0.1",
  "devel",
];