A javascript bookmarklet that makes downloading lecture videos easier