Seems like this may be a casualty of HN's "use the original article title" policy. If you read below the update, this post was from July. So whoever posted pr

Seems like this may be a casualty of HN's "use the original article title" policy. If you read below the update, this post was from July. So whoever posted presumably did to draw attention to them losing the battle, but that was unclear from the title, so there's now a competing post that specifically points to the loss.