@whawker on WordPress.org
Created ticket #25787 on Core Trac:wp_page_menu function is very inefficient