Well, no, but I'd rather not assume anything: just let the author pick the title.
(I assumed that "gus_leonel" wasn't the author, since John Arundel has his own HN account under his regular "bitfield" username, but they do post a lot from bitfieldconsulting, so idk).
All this discussion seems to be doing is derailing the comment threads. Almost half the comments here are not about the article itself but your opinions on the words used in the title.
This is also a funny way to not assume anything:
> (I assumed that “gus_leonel” wasn’t the author
> Well no, but I’d rather not assume anything
I don’t see the benefit of this discussion existing in the first place, let alone continuing it, so I’m going to stop here.
Most won't know it's posted, or won't see until after it no longer matters. "Don't editorialize" is the simplest and surest way to respect the original author.
"Don't editorialize titles unless the original title is very nondescript or clickbait-y" is not a controversial HN policy.