@Gargron Is there a difference between https://mastodon.social/web (where I created my account years ago)
and https://mastodon.online/? Because I can't find specific users via the first one.