Removed Deprecated Option

ShowHelpPluginNames: I have no idea what it does, and it is not referenced anywhere else, so...
Merge pull request #13 from tigerw/master

Removed Deprecated Option