Is this based on some sort of public reddit dataset or do they scrape all of reddit? I just did some searches but couldn't find any proper / official reddit data dumps. Does something like that exist?