Forgot @export for print.arxiv_count