[linhns]

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