But then there’s this rule to not editorialise headlines, so…
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>
And you did do a better job of it, as I also indicated a few minutes ago.