How do I change the page title and favicon of the settings page?

When fiddling with OH3, I often gave multiple tabs open, some of them for the settings pages of my OH3 instance, others from this forum or the OH3 documentation. The problem is: all of them have the same favicon, so I’d like to change the favicon of my OH3 instance. And while I’m at it, why not customize the page title…

How/ where do I do that?

In case it matters: I’m running OH3 in a docker container.

There is no setting exposed to you to do this. You’ll have to edit the source and rebuild the UI components.