{
  "edition": {
    "new": "Interactive Demo",
    "old": "Demo"
  },
  "filename_suffix": {
    "new": "Interactive Demo",
    "old": "Demo"
  }
}