Removed link to old registry on smi-protege.

These plug-ins are listed at the top level now.  Easier to debug with
less levels of indirection in repository files.