Thank you both, this is encouraging; let's hope to see the videos uploaded on archive.org or Commons soon.
In the meanwhile I have uploaded the 7 streams to https://archive.org/search.php?query=subject%3A%22Wikimania+2013%22 (collection https://archive.org/details/wikimedia-other). Feel free to comment on the items with more details to be added to the metadata, or just to upload the derived ogv files to Commons. :)
Nemo