> I don’t think they ever seriously invested in that, for whatever reason.

They have recently invested in it, switching to lucidworks[1] a few years ago. Sadly i don't think it changed anyones opinion of reddit search, but it might have saved them some infrastructure cost.

[1] https://lucidworks.com/customers/reddit/