> HAL is decidedly second-tier. Given the option, everyone would pick arXiv over HAL.

Can you elaborate on that?