Aerolopez (talk) 16:53, June 27, 2020 (UTC)i wonder what animation company would be animating the shorts.