this patch introduces the following to menu-header.php:
1. slightly cleaned up code, removed some redundancy
2. gave class=current to li container. current version only applies this class to link, which renders some css techniques impossible. class was left in link as well for backwards compat, but is otherwise unnecessary as the link can be targeted with "li.current a {}".
3. added action admin_menu_li with argument to run after each li. this will allow CMS and theme authors to place nested ul trees after each menu item, which is necessary and semantically proper for things like drop-down and instantly visible submenus.
the next step may be to push the submenu creation into a reusable function.