> HN guidelines do not forbid changing the title.

It's more nuanced than that. See https://news.ycombinator.com/newsguidelines.html: "Please use the original title, unless it is misleading or linkbait; don't editorialize."