I doubt the designer did any sort of compression on that video. Animations usually compress very well.
The less-abridged process was "the designer exports a ProRes video, and I (personally) spend an hour experimenting with different ffmpeg settings to get it as small as possible while retaining a level of quality the designers will accept."