The first iteration I did was manually mangling FFmpeg commands to loop GIFs over n seconds, before combining them into a video. After that I thought, I might as well make a web application to help make this easier.
Ironically, the videos I created in my Firefox Windows appears to be unplayable, which prompted me to go full circle, by importing a FFmpeg WASM to fix the file.
But it was definitely interesting to see how the JS code work to splice GIFs into image data, replaying it over a canvas, which then feeds to a WebCodec. GitHub link is in [2] if you are interested to see the source code. Cheers!