Removed Deprecated Option

ShowHelpPluginNames: I have no idea what it does, and it is not referenced anywhere else, so...