arXiv:1608.02662 and
arXiv:1904.09994
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.)
