None of these make ATProto removed from Bluesky, the working group scope is not clear from the article either.