I don’t understand how the Mastodon compatible username works on Micro.blog. I have a Mastodon account since before and things I post here are cross posted to that Mastodon account: @ndreas@mastodon.social. But if I try to add a Mastodon user name here on Micro.blog it would be @ndreas@ndreas.eu.