We embeded a lot of videos for animated diagrams. I think we need to disable aut...

		nathansobo on Dec 1, 2022 \| parent \| context \| favorite \| on: Using CRDTs for multiplayer text editing We embeded a lot of videos for animated diagrams. I think we need to disable autoplay, at least on mobile.