Odoc html output is missing a favicon. #1160
Description
This helps when you have hundreds of tabs opened.
Ideally, the icon could be customized.
{{ message }}
This helps when you have hundreds of tabs opened.
Ideally, the icon could be customized.