Whoa. Micro.blog cross posting to Mastodon will automatically change from the @ mention of a Micro.blog user to their Mastodon account. So folks not “just” using their micro.blog ActivityPub name will be correctly mentioned over there.