Instructor: We've been operating our patio11 bot site with a blank favicon. Let's fix that before we deploy online.
We have the SVG of the patio11 bot avatar that I'd like to use, but it's an SVG. It needs to be an ICO file before it's properly used. The easiest way I've found to do this by far is just to Google for "convert SVG to favicon."
There's numerous services and they all seem to do just about the same thing. I just picked one and it worked great. The one I picked is convertio.co, so I know that that one works. On convertio.co, just select your SVG from your computer and click convert. It uploads and converts it. Then you can download the completed ICO file.
Next, find that icon file and copy it. Paste it into the folder that we've been using. You'll want to rename it to favicon.ico, because that's what browsers expect. We'll make sure the browser can find it, also, by adding an additional link to the top of the HTML page called Shortcut Icon.
Now, if we refresh the browser, there's our favicon.