vLLM can only run on linux but it’s my personal favorite because of the speed gain when doing batch inference.

You might be able to convert to hevc (x265) and trim it down by quite a bit.

You will always lose a bit of quality converting though, even from 1080p to 1080p, but I consider it pretty acceptable for cartoons and things of that nature.