(also, is there something else we can call this federated network of servers other than Mastodon because I kinda feel like it's a protocol and not just a collection of servers who are all running the same hardware.. )