Yes, I noticed that! 🙂 Is it a specific development (with React), if yes is it opensource too? Or is it based on a package able to generate menus, search, etc ... based on what is available on the Github?