>>Well, perhaps, 'rope' isn't really used that much these days and we had >>better >>spending our time elsewhere... > >I wonder about this too. It seems to be the single-biggest user of >deprecated bits. Should we just kill it? Any thoughts on this? The more I think about it, the more I think rope should go. -benjamin