Not accurate, Reddit was on CloudFlare previously and switched to Route53 a few weeks ago.