Scotty Trees on Nostr: is mastodon.social de-federated from them or not? not sure where to find that out.is mastodon.social de-federated from them or not? not sure where to find that out.