See New Search Bar at Top of Right Sidebar

I thought we already had one, because one shows up on my admin page.
A reader wrote, we saw the error, we made a change. Thanks, Mike!