repeating code in plugin_manager.module

Plugin Manager creates two instances of "Install" in the admin menu do to what I think is an accidental duplication of code in plugin_manager.module:

$items['admin/build/modules/install'] = array(
'title' => 'Install',
'access arguments' => array('install plugins'),
'page callback' => 'drupal_get_form',
'page arguments' => array('plugin_manager_find'),
'weight' => 9,
'type' => MENU_LOCAL_TASK,
);
$items['admin/build/themes/install'] = array(
'title' => 'Install',
'access arguments' => array('install plugins'),
'page callback' => 'drupal_get_form',
'page arguments' => array('plugin_manager_find'),
'weight' => 9,
'type' => MENU_LOCAL_TASK,
);

Patch would just delete the 2nd instance of code. And I've never created one (or do I have git access), but here's basically what it would need:

- $items['admin/build/modules/install'] = array(
- 'title' => 'Install',
- 'access arguments' => array('install plugins'),
- 'page callback' => 'drupal_get_form',
- 'page arguments' => array('plugin_manager_find'),
- 'weight' => 9,
- 'type' => MENU_LOCAL_TASK,
- );