How to use LVGL for animated GIFs?

Hi, and thanks for the suggestions, all!

In the end I was able to get the Arduino_GFX libraries to compile. And I can upload images, after a bunch of messing about, to my board. So that looks like the approach I’m going to take.