[notpushkin]

I'd say just cutting out half of the headline is more editorializing than trying to edit it to fit more of it.

[dredmorbius]

I'd give the submitter more credit than that. The title was cut for length, retaining the earlier (and presumably more significant) aspects of the original. As I noted in my other comment, wordsmithing title is a challenge, and most people probably aren't fully aware of HN's nuances and preferences in the practice.

And you did do a better job of it, as I also indicated a few minutes ago.

[notpushkin]

Of course, no negativity towards the submitter – I was just trying to make an argument for editing titles more carefully and trying to preserve original meaning. I think you did a better job in the sibling comment though!