I record with Kzam, but thats Linux only. For editing and optimizing I use https://ezgif.com/video-to-gif, usefull If you want to make your gifs match certain site requirement regarding resolution and file size.
