For a user guide, we should try to avoid talking about "extensions" in this context. It would be less confusing to a new user to combine these sentences to something like "well documented in the help text of the admin client's new ``iso repo`` section::".