ArXiv is establishing itself as an independent nonprofit organization