[
  {
    "id": "gui.extensionLibrary.chooseAnExtension",
    "description": "Heading for the extension library",
    "defaultMessage": "Choose an Extension"
  }
]