Making the GIF using a simple screen video capture software:
https://blog.bahraniapps.com/gifcam/

Then it is edited using this online gif editor:
https://ezgif.com/gif-to-mp4

Wayne