carlos on Nostr: What tool do you use to extract the video?What tool do you use to extract the video?