Voting starts in March for the Drupal Association Board election.
It is impossible to theme menus differently. You need developer skills and a fair amount of knowledge about the menu system to alter the output of a certain menu.
Attached patch fixes this bug by leveraging the theme system's capability of theme function suggestions.
No API change, no functional change, just an additional theme suggestion.