5 ms·Show HN: Restore ArXiv's classic red banner (userstyle, 40 lines of CSS)1 points by Topology1 3mo ago