Adds missing download buttons to videos at Ilias Open Cast pages.
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.