So, from what I understand by reading quickly, he's making some modifications to GemRB to do a 4k upscale but reading his Github it looks like he's good with static images but 0% with animations. It looks promising, unfortunately apart from a few tricks with photoshop I don't think I can help him. I was stupidly convinced that the matter was much simpler.
Edit: His Near Infinity implementations seem really good!