workflows: update arxiv records

True.