Done PLUGIN completion

[Charles Dye]

PLUGIN

The default filename completion is dirs dll​

Move of the time when using PLUGIN, you need to type a plugin's internal name, not a filename. (/L being the exception.) Would it make sense to have a PLUGINS completion keyword for just this one command? Would it ever be useful in any other context?