I thought I knew what a favicon tag looked like until I recently started checking my error logs, there were tons of 404 errors for favicon.gif and favicon.ico!

Doing some checking I found out that there are two tags for adding a favicon. I guess different browsers check for different tags?

Are these right? How do I take into account the .gif format?