Ilias Video-Download-Button v1.1.0
Ilias is an open source E-Learning platform used and provided by many universities in conjunction with Opencast to distribute videos and online lectures.
Some videos do not show the download button, but that is stupid and annoying, especially since Ilias is not very reliable and we therefore need backups. This extension solves that by adding download buttons to videos that are missing it, making it easier than ever to survive the next Ilias outage.
Source code: https://github.com/McLP2/Ilias-Video-Download-Button
If you want to try this add-on but do not have access to an instance of ILIAS with Opencast, you can host your own. You can find information about this process at https://www.ilias.de/ and https://opencast.org/, especially at https://docu.ilias.de/goto_docu_wiki_wpage_4975_1357.html.