ActivityPub has fostered a social web for millions of people. To grow, some developers believe it needs improvement. These are their efforts.