Fork of the Drupal jump_menu module, for easier management.