PluginManager: documentation fixes.
Removed annoying Doxygen workaround for #undef.