@Mastodon Do the funds go towards just Social or do some of resulting efforts get used by other instances in the Mastodon universe?