but OTOH it's fairly lightweight for the browser for simple animation.

Historically, this hasn't been the case. Certain browsers used to process the entire gif up to the current frame when rendering a new frame, causing long gif animations to slow down progressively.