I think instance is okay as a term, but defining it as a provider could be helpful. I don’t think the fediverse is that complicated anyway, it could be summarized in a paragraph for a baby