I agree that dredge is a huge problem with HAL, but it's getting better. While arXiv is still stuck with a unfriendly UI.

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

Can you elaborate on that?