Huh, you're right. It could also be that the publication changed the headline or is showing different headlines to different audiences (I've seen the latter hap

Huh, you're right. It could also be that the publication changed the headline or is showing different headlines to different audiences (I've seen the latter happen), but as of now only the HN headline is editorialized that way.