Basic arxiv proxy search is functional