I'd also recommend FoneLab Screen Recorder which I have been using for many years. It can record video and has the option to export as GIF file format. You can also add texts, arrows, lines, stepstools, and other drawing panels to the video or animated images. Share it here. https://www.fonelab.com/screen-recorder/