PluginRegistry updates

[John Whitley]

Hi all,

I noted that http://bazaar-vcs.org/PluginRegistry is out of date here  
and there.  I'd like to pitch in and update it, but I need somme info  
to do so:

* push is still listed as a plugin from Bzrtools.  Any preferences as  
to whether this entry
   should just be removed, or edited to indicate that push is now a  
core bzr command?

* From Aaron's Bzrtools 0.8 announcement from 5/9, it also appears  
that Michael Ellerman's shelf
   work has been integrated into the release.  If this is correct,  
should the shelf entry on
   PluginRegistry be updated to point at the BzrTools page instead of  
at Michael's shelf dev
   branch?

Thanks,
John