Problem is there's no real evidence that it happened at a high percentage - just about every Pyramid headliner has a "smaller" crowd at the end than they did at the start. There certainly wasn't a Radiohead-esque exodus.
No idea what the exact numbers were on that but I can certainly say with confidence that the field was still ridiculously full at the end, and took forever to get out of. My gut feeling is that in percentage terms any drop-off would have been lower than average.
FWIW I believe there will have been a fair number of folk leaving.
But that's going to be true of every single act, particularly at headline time. Folk will peel off for all sorts of reason, often entirely unrelated to what's happening onstage.
No one has 100% crowd retention, and the bigger the crowd in the first place the more folk who will eventually saunter off.