Discussed changes

[Martin Pool]

Suppose there are two versions of a plugin installed, one globally and
one in the home directory.

Obviously we want the users' own one to take priority.  It might cause
trouble to load two things that both run similar initialization code,
and I don't see why it'd be very useful.

So I suggest we search a path starting with the home directory.  Once
a name has been seen, it's not loaded again if it's found somewhere
else.   The pattern is similar to python imports, which is good.

That means you can't have plugins which override other plugins but I
think that's fine; python modules work the same way.

how's that?

-- 
Martin