[nokome]

Hey, author here. I used byzanz for this one: https://www.maketecheasier.com/record-screen-as-animated-gif... . For snazzier stuff, Screenflow is good.