Show HN: Restore ArXiv's classic red banner (userstyle, 40 lines of CSS) · HackerLangs