So, wait. Since when are PG files animation-compatible? I thought that that was limited to GIF files O_o

EDIT: Explanation attempt no.1: Maybe it's actually a GIF.file renamed as a JPG one? It's still a GIF for all intents and purposes, it's just not called that anymore.