diff --git a/core/modules/system/system.api.php b/core/modules/system/system.api.php
index 5b95ccf..a599f8d 100644
--- a/core/modules/system/system.api.php
+++ b/core/modules/system/system.api.php
@@ -786,7 +786,8 @@ function hook_menu_get_item_alter(&$router_item, $path, $original_map) {
  *       "default" task, which should display the same page as the parent item.
  *     If the "type" element is omitted, MENU_NORMAL_ITEM is assumed.
  *   - "options": An array of options to be passed to l() when generating a link
- *     from this menu item.
+ *     from this menu item. Note that the "options" parameter has no effect on
+ *     MENU_LOCAL_TASK, MENU_DEFAULT_LOCAL_TASK, and MENU_LOCAL_ACTION items.
  *
  * For a detailed usage example, see page_example.module.
  * For comprehensive documentation on the menu system, see
diff --git a/patch_hook_menu_options_docs_2.patch b/patch_hook_menu_options_docs_2.patch
deleted file mode 100644
index 85c77cf..0000000
--- a/patch_hook_menu_options_docs_2.patch
+++ /dev/null
@@ -1,14 +0,0 @@
-diff --git a/core/modules/system/system.api.php b/core/modules/system/system.api.php
-index 5b95ccf..17c9db3 100644
---- a/core/modules/system/system.api.php
-+++ b/core/modules/system/system.api.php
-@@ -786,7 +786,8 @@ function hook_menu_get_item_alter(&$router_item, $path, $original_map) {
-  *       "default" task, which should display the same page as the parent item.
-  *     If the "type" element is omitted, MENU_NORMAL_ITEM is assumed.
-  *   - "options": An array of options to be passed to l() when generating a link
-- *     from this menu item.
-+ *     from this menu item. Note that the "options" parameter has no effect on 
-+ *     MENU_LOCAL_TASK, MENU_DEFAULT_LOCAL_TASK, and MENU_LOCAL_ACTION items.
-  *
-  * For a detailed usage example, see page_example.module.
-  * For comprehensive documentation on the menu system, see