I'm now @Richard@mastodon.au - yes I joined Mastodon. There's an original idea. As though there aren't enough half neglected social media accounts in my life. Pretty sure my micro.blog account federates semi-automatically anyway, but haven't worked it out yet. Can someone please point me to a simple how-to article, I wonder?