New plugin: Search docset on devdocs.io