Yeah but he probably shouldn't

Having multiple people run the backend independently is a good way of distributing risk but it's not right to call that a federation

They don't "co own" a single robosats "address" like a federation would. They are all independent

Would be interesting if they all ran a fed instance though and custodied all the bitcoins there, then they could truly call it a federation

But I think I prefer the current model