Really, I think the problem is that it defaults to only searching Open bugs. Makes sense, but as this case demonstrates there is a big enough gap between a bug being fixed and an updated build getting into users' hands that there's a problem.

I wonder how many dupes would be eliminated if the search defaulted to Open and Recently Closed bugs.