Do they, now? All of my experiences with the Reddit search bar were a waste of time, this search bar is an absolute piece of trash. It’s completely useless. I have always gotten immensely superior result searching Reddit from an outside search engine than using the built-in one. It’s that bad. So, good luck to them, I guess…