Yes, the site guidelines call for changing a title when it's misleading or baity. That one was baity, so it's fine to change it. If you do, it's best to use language from elsewhere in the article, if possible. Usually there's something suitable in a subtitle, or the doc title, or the url, or a representative phrase from the text.

Both sides of that rule are important: when to not change the title and when to do so.

https://news.ycombinator.com/newsguidelines.html