Did the colour of the header bar change?
tokenadult: It does every year at this time. It's a seasonal change that will be rolled back soon. Oddly, I had just set a user-configured topcolor for the first time just as the site topcolor was changed. Now I get to observe which HN pages don't display the user-configured topcolor.