Document MantisCore inclusion in plugin_register_installed()