Without the made-up title the point is lost but there really isn't much point left, in this case. Bug tracker post titles are an edge case the title rules don't deal with all that well, as you've recently commented yourself. But it's not a particularly important edge case by the expedient that most bug tracker posts (especially to live bugtrackers) are lousy HN posts to begin with.