No. I don't think it would matter very much, but we could remove the arXiv label.