A WordPress plugin to cleanly omit pages from a wp_list_pages() nav menu