The author wrote the post and already provided a different HN post title than the article title. That tl;dr (which isn't, it doesn't communicate a meaningful ta

The author wrote the post and already provided a different HN post title than the article title. That tl;dr (which isn't, it doesn't communicate a meaningful takeaway) could have been lightly edited into the HN submission title in the first place.