Author here, happy to answer any questions. The open source code here works server side, in the browser client or in a Worker thread. Hope you find it useful!

Could make a telegram or discord or whatever ecosystem you use bot where you send it the .gif and it replies with the mp4...

Maybe prefix with "Show HN: " per the guidelines?