True, but the original title makes it much harder to understand what the story might be before clicking through. No doubt Google deliberately chose the title to do this, and this corporate strategy does successfully manipulate HN's title policy. HN rules try to keep the title honest, but it is counterproductive when the original title is dishonest.
Corporate press release titles tend to intentionally dampen the meaning of what's being announced (when it's negative or controversial), so by HN's title rule ("Please use the original title, unless it is misleading or linkbait"), it's fair to rewrite them [1]. When doing that, the rule is to find an accurate and neutral phrase using representative language from the article [2]. I've done that on that one now.
