If you want to search Reddit, there's a much more comprehensive alternative in the third-party archive site PullPush. It has full-text search and will even search through deleted and removed content.

Main site:

https://pullpush.io

Frontends:

https://search.pullpush.io

https://ihsoyct.github.io