This is really good. I should add that we should embrace the pluralism of the fediverse. Some instances will likely not be able to ever freely federate with one another even if there is nothing wrong with either community.
An instance for spiders and an instance for people afraid of spiders won't readily get along. Similarly, a religious instance where nudity is frowned upon and a nudist instance will have different norms.
That negotiation of norms across instances is crucial for making the fediverse safe and we are all still very bad at it.