3 ms·

This should be "GIF originally intended to be pronounced 'jif'". Gif (with a hard G) seems to be the accepted pronunciation now.