Question about tools used to create an article on this website

Hi everyone! Sorry for this offtopic but I need to know what tool was used to create animated gif in this article:
Linux hide processes from other users and ps command written by Vivek Gite
I also write articles but all tools I used generate too big gifs, in mentioned article size of the gif is less then 1MB - so I would be glad to know how it was recored (or compressed).
So guys if you know what tool been used - please let me know!

I use gifsicle to optimize gifs. Try that tool.

could you please specify list of parameters for compression you used? Thanks.

Read man page, I forgot all details now.

Linux sysadmin blog - Linux/Unix Howtos and Tutorials - Linux bash shell scripting wiki