[pants2]

Reddit had a great search engine called PushShift which was maintained and run by one guy. That service doesn't work since their API changes, unfortunately.