remove videos from documentation

3 jobs for hotfix/remove-large-files in 8 minutes and 43 seconds (queued for 6 seconds)