they were saying in a discord server i am in that activitypub devs are supposedly working on a social portability upgrade to the protocol. im interested in how they are going about it.