arxiv_category_pull A repository for the scripts used to download concrete categories (and their latex sources) in bulk