I think it’s worth pointing out that our guy is crashing out primarily because of this post about integrating with Bluesky,
I've never bothered getting into ATproto arguments. They always have a faint air of fashwashing over them. Or it's a bit like Urbit where only those in the know are welcome.