[feature] export DOIs of accepted papers

[0xabu]

When using the ACM integration, HotCRP knows the DOIs of accepted papers (it is displayed on the paper's edit page, and appears in the XML file). Can those DOIs be added to the CSV/JSON export formats?

Curiously, the conf.researchr.org system supports importing a HotCRP JSON file, and its documentation includes this example:

[
  {
    "pid": "Some_unique_id_0",
    "title": "Paper Title here",
    "abstract": "Optional",
    "doi": "http://dx.doi.org/10.1234/a.bcd.2018.01.023",
    "authors": [
      {
        "email": "[email protected]",
        "first": "Marc",
        "last": "Johnson",
        "affiliation": "KU Leuven"
      }
    ]
  },
  {
    "id": "Some_unique_id_1",
    "title": "This is another Paper",
    "abstract": "",
    "authors": [
      {
         "email": "[email protected]",
         "first": "Marc",
         "last": "Johnson",
         "affiliation": "KU Leuven"
      },
      {
        "email": "[email protected]",
         "first": "Johan",
         "last": "Marcsen"
      }
    ]
  },
]

hotcrp.com isn't exporting those doi fields, so perhaps this was wishful thinking on behalf of the researchr.org developers, or was a feature that was later removed?

[0xabu]

For the benefit of others, here's a quick and dirty script to do this by taking the DOIs from the article bundle XML and merging them into an existing JSON export: https://gist.github.com/0xabu/cb49e76f3e587cf6a9fa98059be27b71