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