3 ms·Thank you for the writeup. What was the tool used to generate the .GIF of the shell?by joegosse 10y agoThank you for the writeup. What was the tool used to generate the .GIF of the shell?