@alterelefant @lolgop BlueSky is also federated. Just not officially fully federated with ActivityPub.