Much better compression. High, Medium and Low now produce genuinely
different results, and large videos shrink far further than before.

HDR is preserved. HDR and Dolby Vision videos keep their colour instead
of coming out flat.

Never bigger. If a video is already as small as it gets, VideoDuck
leaves it alone and tells you.

Fixed: the saved-percentage badge is showing the correct number now.