I see, so there is no real way to prevent posts on Lenny from ending up on Mastodon if their home servers are federated with one another.

Yea, this is the core idea of the Fediverse ;)