HotCRP import should use "pid" instead of "id" property
The paper id (
Submitted by Elmer van Chastelet on 17 June 2019 at 14:41pid
) property in the HotCRP JSON format is not used at this moment. The importer mistakenly searches for anid
property. Update this to handle both cases and update the provided format example.