But the GIF people say GIF is pronounced GIF and not GIF. Which do you type? 🤨 WHICH?