I was wondering how you made that gif and looking for an option on the UI to automatically export one, but then I realized you are OP. That would be a cool feature to add.