+ ‘src/Apps/ditto/video/ditto.lch’
+ ‘src/Apps/ditto/video/ditto.ogv’