Comment by sevg

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.