Streaming has helped the music industry recover—to half its peak size