@jbaty@social.lol Littlefedi/Mastodon migration sets up an alias for your 'old' account. So for example, I just received a message - 'jbaty@social.lol moved to a new account'. Not precisely clear (to me) how this works so I put a message in my Mastodon Bio too.