We've been building patio11bot without a favicon so far - so before we deploy it, we'll make one from the SVG avatar that we have.
We'll use the service here to do it: https://convertio.co/svg-ico/
- but there are many free services online that work.
After we have the .ico file, rename it to favicon.ico
, and then link it with a link tag in HTML:
<link rel="shortcut icon" type="image/x-icon" href="/favicon.ico">