Ah, so it's your search feature that is broken.
If they fixed it in such a short time, it was probably a bug and they really pushed a fix...
Then when he explained I realized it was just a broken search feature: a much easier thing to fix.
I hope most people here don't confuse matter of fact literalism with rudeness. This is HN after all and I'm offering free user feedback to a business, something most businesses greatly appreciate.