Hi dear miro team.
Maybe you can consider providing your users with a search URL that would be used for setting up a search engine for miro in google chrome. Eg. here's the one for jira: https://smileco.atlassian.net/secure/QuickSearch.jspa?searchString=%s
It's super convenient, bc in this case users can search in miro directly from the browser without having to open the website or installing any apps.
Thanks