Oh right. Unless I’m mistaken, Pushshift was a data collection platform that provided an API for getting Reddit data, before the API change ruined it. When someone deletes a comment, it’s still there in the database. Pullpush is a fork.