Docs: Search ability

[gsal]

Hi,

Can you guys add a search widget to the docs pages?

[Alek99]

Yes this is a feature we hope to add soon we are experimenting with some libraries

[FHU-yezi]

Yes this is a feature we hope to add soon we are experimenting with some libraries

Try Sonic, a high-performace search server.