They’re not done yet. Just announcing (and the verge reporting on it).
Their announcement (here) is quite forceful though, interestingly. The article described it as a manifesto.
See also a recent post here about their survey on integrating activity pub: https://lemmy.ml/post/14734757
Oooh. Crypto and fediverse … The odd couple!