Dear Lazyweb: I have a couple of large animated GIFs and would like to re-encode them as .ogv #video, or any other format supported by #PeerTube. What's the easiest way to do this on #Linux without losing too much quality? Thanks.