Does the @Nextcloud 📱☁️💻 mobile app (Android or iOS) not have a search feature in its markdown editor? I can't seem to find it (which is a little ironic).