Voting starts in March for the Drupal Association Board election.
While working on http://drupal.org/node/467296#comment-2175016 which mainly consists of renaming Seven's CSS file so both files can live in peaceful coexistence.I noticed that the Seven theme overrides the vertical-tabs.css in misc/ with its own version. I posted a quick hack at
Someone with more Seven experience might want to look into this.
Seven might also need its own vertical-tabs-rtl.css.