It renders a mania replay file to a mp4 video adding different widgets that works with both 4k and 7k.