GIF is pronounced 'jif', says standard author

 

v20240901