Updated documentation for start_menu.set_user_char to reflect the addition of the other_handler parameter.