arxiv.org doesn't have videos