Is SearchBar included in TopNavMenu? I searched SearchBar in Discover and Dashboard apps and couldn't find it. But I found this: https://github.com/elastic/kibana/tree/7.14/src/plugins/discover/public/application/apps/main/components/top_nav, which looked like something related to SearchBar. Could you help me check this?