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 anidproperty. Update this to handle both cases and update the provided format example.