Thanks for highlighting this, @Don! We recently changed how the search works in the admin sidebar, which then had a knock-on effect to the search in the documentation sidebar. We’ll get this sorted out ASAP!
7 Likes