[tornato7]

There's an independently made Reddit search that is leagues ahead of Reddit's own search:

https://redditsearch.io/

It's made by the guy who runs pushshift.io - he does an incredible public service by archiving terabytes of social media data into a fully searchable ElasticSearch cluster. Plug for his Patreon: https://www.patreon.com/pushshift

[abhijat]

I think pushshift is what powers all the reddit undelete websites, because it doesn't register post or comment deletes. So for a true, unrecoverable delete you have to edit your post to empty body or something nonsensical, and then delete it.