It's clear the @w3ctag doesn't have consensus on the correct pronunciation of "GIF". At least we moved back to the real topic after 20 sec.