AFAIK (from installing a couple of tweaks like 3 years ago), you are correct. They are gifs split into individual frames.