The mods should not do anything. The title of the post closely resembles the title of the article.
The mods on HN frequently editorialize submission titles if it makes the title more sensible, even if that means deviating from the original headline (which does not need to be the submission title in the first place). A good practice in my mind.