A Firefox extension to download YouTube videos in bulk