download: Use git.ffmpeg.org to browse repository.