This repository was archived by the owner on Feb 6, 2023. It is now read-only.
This repository was archived by the owner on Feb 6, 2023. It is now read-only.
Favicon is missing for website #1857
Description
The migration to Docusaurus broke the website's favicon.
This can probably be fixed by adding the favicon in siteConfig.js.