Maybe a bug, maybe not, but came to report anyway. Several AVI videos are unable to be downloaded. Inspecting the source, it appears that the download link simply refreshes the page because the href attribute is empty. The url to download the video is nowhere in the page when logged in.