arXiv:1906.09083,
arXiv:1807.06988
Begin Flash video. (Or, right-click to download the 3gp file.)
Begin streaming QuickTime.
(Or, right-click to download the movie.)
Or [ Download the Podcast ].
Begin streaming RealMedia. (Or, right-click to download the audio file.)