One thing I couldn't figure out how to do recently: Download only a certain time range in a video. Of course, I could have downloaded the whole thing and then

One thing I couldn't figure out how to do recently: Download only a certain time range in a video. Of course, I could have downloaded the whole thing and then used standard video tools to extract it afterward, but the video was very large so this would have been impractical. Do you know of a way to do this, by any chance?