@paregorios @steko @aejolene @sebhth
The effort is minimal, because I can script it. Getting ARKs from EZID just requires API calls.
So, ok, I'll get on it.