[davecap1]

Off-topic: how do people make those animated gifs like the one in the blog post (https://stenci.la/stencila/blog/introducing-sheets/screencas...)?

[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.

[archagon]

Not the author, but I've used LICEcap in the past.