There's also Pushshift[0], a Reddit analytics project that also offers a custom search engine[1]. It's clutched out significantly better results than either Google with site: tags or Reddit's native search, the few times I've had reason to try it.

[0] https://pushshift.io/

[1] https://redditsearch.io/