[saurik]

I agree that that should be changed, but dollars to donuts (as I have seen this happen many times before) the moderators rename it to the title of the bug and the entire point is lost ;P. (Though maybe they read this and think again; in the future to make such a point you first need to write a comprehensive article on your own blog with this as the title and then you mostly get to editorialize all you want... you just need to make sure it has enough heft to it to avoid anyone considering it "blog spam" and thereby changing the link in addition to the title ;P.)

[pvg]

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.