HN's way of dealing with titles has been around forever and functions surprisingly well overall. When grumblings come up they are usually reasonable and we usually react by changing the title until readers stop grumbling. But these cases are a small percentage of the total. Sometimes the community is divided about what's reasonable, in which case every title change generates grumbling and the process never converges. In that case we either stick with the original title or just make a call and move on.

I think you make a good point about this title. In a case like this it's best to break the tie with the original title, so I've changed it back above.