Bookmarklets for downloading videos