I do use both YouTube-DL and FFMPEG, and producing high-res GIF is actually very easy. It took me two weeks (part time) to launch the first raw version that worked well on my machine :) but took over a year to be able to scale it so everyone else can use it as well.