Use Discourse Docs plugin for site search and navigation

[jamierobinson]

This is quite spooky as exactly the thing I have been thinking about! Is there any way to change the word “docs” to something else in the menu?