Always surprised that the BBC focuses its Glastonbury coverage on music that is already available elsewhere. Focusing on the live comedy would make much more sense as it's mostly new and highly ephemeral. Getting a historical record would be so valuable.