Item9334: Add indication of repository location

The superscript [repository name] only shows up if more than one
repository is listed in the ExtensionsRepositories.