Editing titles is permitted. That is, removing specifically indicated guideline violations, or shortening titles to fit length.
Editorialising is NOT the same thing. It is replacing (or adjusting) a title not for length or clarity, but to give a specific slant to a subject or inject the submitter's opinion.
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.
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!
Editorialising is NOT the same thing. It is replacing (or adjusting) a title not for length or clarity, but to give a specific slant to a subject or inject the submitter's opinion.
Dang: "Editorializing is editing a title to put one's own spin on it." <https://news.ycombinator.com/item?id=32085439>