Docs: favicon not set?

[jeromekelleher]

A tiny usability thing: when I have lots of tabs open it's hard to find the sgkit docs because we don't seem to have a favicon set on the docs website.

[jeromekelleher]

I think it's just a case of setting the favicon html config, https://jupyterbook.org/en/stable/customize/config.html