> HAL is decidedly second-tier. Given the option, everyone would pick arXiv over HAL.
Can you elaborate on that?