> All pages accessed by (and subsequently served to) annonymous users are cached via Output Caching.

I'm surprised they don't cache output on logged-in pages as well, using ESI or some kind of client-side replacement. There's not that much personalization going on. Most page content is the same between users.