How to save a GIF in p5.js web editor

How do you save a GIF from the web editor? I attempted following instructions using ccapture but was not able to get it to work…

Thanks