source files for video recordings

Please be reminded that there is no `capture-10.rec`, which was
discarded. The published video on youtube also doesn't contain
`capture-10.rec`.