@MostlyHarmless .gif and .jif are two different image formats so are pronounced differently regardless of the wishes of the creator of one of them.