Online video has become the default library for music, lectures, interviews, podcasts, and live performances. But streaming is not always possible or practical. Listeners may want to study on a plane, work out with a phone in airplane mode, or simply save a piece of audio without keeping the full video file. That is where…