No, it comes from the name Graphic Interchange Format.

So if we’re going to with jfeg, then we’re also going with gif.