Are all favicon files named favicon.ico?
No, they can have any file name if the extension is still “.ico”. However, it is advisable to name them favicon.ico because this obviates the need to add code to your site to inform the browser what your favicon is called. If your favicon has another name, associate the favicon with your web site by adding a line of HTML code (shaded purple for clarity in the example below) into the head section of your web site. This line of code includes a link tag specifying the location and name of the favicon file.