Video compression (even lossless) leverages the fact that successive frames are very similar; that's not the case here, as photos can be taken hours apart, in v

Video compression (even lossless) leverages the fact that successive frames are very similar; that's not the case here, as photos can be taken hours apart, in various directions, and in various zoom levels. So you'll get basically the same compression either way...