I do’t know enough about how Mastodon works internally but is there really no better way to sync comments, likes, boosts across servers?