So you'd want to do webm → mp4/h264 → gif.
(I agree this isn't worth the time to set up in most cases)