@boris Currently we push replies to Mastodon if you @-mention a user on Mastodon. There is also the limitation that not everyone on Micro.blog has (or wants) ActivityPub enabled. As for compatibility with the Mastodon iOS app… I assume that uses the Mastodon API, which isn’t ActivityPub at all.