Reddit's robots.txt disallows all web crawlers

Seems that they might be showing a different robots.txt to Google: https://x.com/pedrodias/status/1808799403798409216