This is an extension that uses the RSS links found in the html code of Panopto pages to reach and download videos on Panopto.