[catalogia]

> "in some cases even produce bigger file [1]."

The dancing star gif posted in that github issue is 5,464 bytes in the original form and only 4,015 bytes when converted to a VP9 webm (with alpha channel) using ffmpeg's default settings.

> "There should always be an option to not convert to video."

I disagree. The conversion should be automatic. The converted result should then be compared against the original, and whichever is smaller should be sent to users. There may well be gifs that are smaller than their conversions, but I don't trust users to know which those are. Let the computer compare the two and make an objective decision.