Configure favicon of website

[fengelniederhammer]

We can already configure the logo of the website. It would be great if we could also configure the favicon (because it's likely that they should be the same).

[theosanderson]

👍 We can probably hardwire these to be the same

[chaoran-chen]

I think that it would be great if one can (also) configure them individually as sometimes, one would want to use a simpler version for the favicon than the logo.

[fengelniederhammer]

Maybe for now we can extend

logo:
  url: "/favicon.svg"
  width: 100
  height: 100

to

logo:
  url: "/favicon.svg"
  width: 100
  height: 100
  alsoUseAsFavicon: true

or something similar?

And add a separate favicon config later?

[chaoran-chen]

Or add the following?

favicon:
  url: "..."

Is there additional complexity to that?

[theosanderson]

(I'm happy with any and all options)