Betere navigatie in documentatie met een nieuwe zijbalk

Still, can’t repro. I don’t see how the docs sidebar could be causing this.

It doesn’t alter any search code.

It may be something else.

Can you provide more details about the setup you’re using? Browser version, OS, etc.