[nathansobo]

We embeded a lot of videos for animated diagrams. I think we need to disable autoplay, at least on mobile.