More inline documentation improvements for plugin.php.