That's what I mean. Their own native search that only searches Reddit. I'm not saying it would be great, just better than Google for many uses cases.

This isn't me talking up Reddit—I haven't been back in over a year. This is me trashing Google.