Search servers and Docs.

Results come from the public server directory and published SanVerse documentation only.