I need to check out Tauri. Seems like an interesting way to develop apps that's gaining some steam. I'm also intrigued to see what the iOS tooling is here?