While you're correct, it's just a clunky term. I think some other way to refer to the whole thing will probably come along soon, and in a few years, people will regard saying fediverse the same way we look back on people talking about "surfing the information superhighway" or whatever.