Hacker News Reader

For Windows you can use ScreenToGif (https://www.screentogif.com/), which does exactly the same thing + you can edit your GIF afterwards.

This one's my favorite, use it all the time at work. It even downloaded ffmpeg for me, which was a nice bonus, and is easily portable