If there isn't one we should make one.
But of course we would need to make sure that there is no JS, Flash, etc and only provides ogg and webm formats.
I would like to see a collection of videos put together in a better format than that of the Audio-Video from GNU.
