I should also mention FEP-ef61 here, which builds on previous proposals and describes a complete data portability solution. It is an early draft, and have not been implemented anywhere yet, so feedback is welcome: FEP-ef61: Portable Objects.
@arcanicanis published a nice article which explains how all these FEPs fit together: The Path to Decentralized Identity in ActivityPub.