Ah, it must be a user option in Reddit, I assumed that everyone else was reading the same thing I was reading. Also, at the time I commented here on HN, the top comment here was this one so I was assuming everyone would see it (but later it went down the page and now it’s hard to find) https://news.ycombinator.com/item?id=21104074