@p456822 on WordPress.org
Posted a reply to Menu Search Box, on the site WordPress.org Forums:I would also like to see this idea put in place. Thanks.