@fediversereport @gov

What you guys are referring to as Mastodon, is in fact, The Fediverse, or as I've recently taken to calling it, The Fediverse plus Mastodon. Mastodon is not a federating network unto itself, but rather another free component of a fully functioning Federated Network made useful by the ActivityPub clients and servers comprising a full Fediverse as defined by the ActivityPub protocol. :)