Anyone know of a good technical overview of how Mastodon works? More specifically, I’m curious how all the servers talk to each other for searching/following hashtags, etc.