Mention the obvious proof search.

I attended a session where Edwin showed us <Leader>o, but I noticed it's not in the documentation.