I'm the Linux guy who posted less than an hour ago.Here's my first .gif ever. I used gifsicle to resize the width from 512 to 256, and optimize it from 28megabytes to 2.2mb. I still think 2.2mb is a lot of space for such a short gif. I'll work on an improved version.I only hope nobody else has already made a .gif of this show's scene before D: