This does solve the problem, although I do hope it doesn’t turn into another Bluesky this way.

I may be out of date, but last I looked there was a push to rotate the "default" through servers with open sign-ups and reasonable policies to prevent one server ruling them all