I considered it, briefly changed it, but reverted it.
Reason for changing: probably the most important exception to HN's title rule ("Please use the original title, unless it is misleading or linkbait; don't editorialize.") is in the case of corporate press releases, whose bland titles are usually a kind of misdirection (https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...).
Reason for reverting: on reflection I think the title is more Nat's voice than corporate PR, and I'd rather respect that.
Reason for changing: probably the most important exception to HN's title rule ("Please use the original title, unless it is misleading or linkbait; don't editorialize.") is in the case of corporate press releases, whose bland titles are usually a kind of misdirection (https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...).
Reason for reverting: on reflection I think the title is more Nat's voice than corporate PR, and I'd rather respect that.