Thanks for posting this! I spent ages trying to figure this bug out.
Since a lot of themes offer very similar additional functionality (like social media widgets, portfolios, shortcodes) it would seem to me that it would be a good idea to have a standardised plugin that contained all of those basic features. It would make things a lot easier for buyers since they wouldn’t have to re-enter content when they change from one social media icon plugin to another (e.g. switching from a themezilla theme that uses the zillasocial plugin to a themebeans theme that uses the beansocial plugin).
Woo! Our new pin-board style theme Toffee just got approved! http://themeforest.net/item/toffee-a-pinboard-style-ghost-theme/5989147
Have a look at wp_nav_menu() http://codex.wordpress.org/Function_Reference/wp_nav_menu
Isn’t it 136,961 items across all the marketplaces? So it includes themeforest, activeden, graphicriver etc.