i tried doing that in summer 2019, and the downloaded formats were at that time proprietary and depended on decoders which were like a tail recursive rabbit hole.

in contrast, letting their servers render the content with their proprietary tools yields the sought data, so scraping might be a pragmatic choice still.