Fair point.

Tiny, high-contrast UI screenshots are a worst-case for JPG—size can grow and edges get mushy.

PNG is the right choice here.