Wow, now that's undiscoverable. Thank you, missed that one completeley Blog post is from August 2016 "You can now search for wiki pages from either the main se

Wow, now that's undiscoverable. Thank you, missed that one completeley Blog post is from August 2016 "You can now search for wiki pages from either the main search page, or within a repository." Guess I made up my mind about that 1-3 years earlier and have used the extension ever since :) Ah well, one click less at least.