So what should we do exactly here ?

Check for plugins in $HOME, then dev directory,  then system ? 
When a plugin is found ie in $HOME ignore any plugin with the same name found elsewhere ?