had you done this before the API was closed you'd have had access to a bunch of tools that let you find twitter users on mastodon