So they will hire a team of government employees to set up a mastadon server over the course of a year, then add some staff to maintain it and some more for public outreach to make everyone aware this is their new channel, at what cost? Versus paying a nominal fee for Twitter? Nice idea to have "public infrastructure" but does it make sense in this case?