Regarding the whole "Gif" vs "Jif" thing...
There are two main reasons why I am convinced it's a hard G (incidentally, who decided that the G that sounds like J is a soft G? It sounds hard to me!)
1) We use a hard G for just about every other acronym, even when there's evidence it should be soft (Gigabyte vs Jiggabyte)
2) There is actually a .jif format... what would we call it?