Search wiki pages

You can now search for wiki pages from either the main search page, or within a repository. Quickly discover how to use the exec command of your Redis client, or…