Looks like mods changed the title to the title of the GitHub Issue. This from HN guidelines is probably why:
> Otherwise please use the original title, unless it is misleading or linkbait; don't editorialize.
> Otherwise please use the original title, unless it is misleading or linkbait; don't editorialize.
That said, I don’t think your edited headline was bad either, but perhaps there wasn’t enough reason not to use the original (which is a default I personally appreciate on HN).