And as the <better find a different social media than Twitter> exodus continues, I know have to learn how to follow a user on another Mastodon instance, if I only know it from Twitter, and don't have a chain of FOAF on Mastodon.