small nitpick: could you make the search bar persistent on the docs?

Not a nitpick at all! This is something we're talking about now, along with some other design improvements.

sweet