How to Download a Panopto Video as an MP4

In this article, learn how to download a video as an .mp4 file from the Panopto interactive or embedded player.  Note: This option may not be available if a video's Creator has not enabled downloads.