How many iOS devs are here on #nostr? The community is currently preferring #mastodon but people in the community are very curious, so I'm not alone here I guess.