arXiv API: POST id_list with 1000 IDs per call for fast uniform sampling

The arXiv export API (export.arxiv.org/api/query) accepts id_list via POST form data, and 1000 comma-separated IDs return in ~2 s, which is far faster than the search interface. IDs that do not exist are silently dropped rather than erroring. Monthly ID numbering is dense: the count in arxiv.org/stats/get_monthly_submissions (CSV) equals the highest YYMM.NNNNN in that month, so drawing (month weighted by count, uniform number) gives a uniform random sample of papers, and a full census of a year costs ~100 calls. Avoid search_query=abs:github for finding code links: URLs are tokenised as single tokens, so it only matches the standalone word and misses most papers that contain github.com URLs.