How to search this wiki, repo, issues, etc. - riscvarchive/riscv-CMOs-discuss GitHub Wiki

I was remarkably slow figuring out how to search this wiki.

BRIEF: standard GitHub search using the search box in the upper left-hand corner works, but you must remember to change the "view", to look at the wiki items returned. By default you will only be looking at the code items, and there may be none. WARNING: if you have a narrow window, you may not see the count of wiki items returned by the search. if you miss the horizontal scrollbar ...

The search link here and in the sidebar is an attempt to make this friendlier, by setting the view returned by the link to be wikis, but you will have to fill in the search term in the new page.

In fact, I was on the verge of giving up on the GitHub wiki, instead migrating to RISC V's new official Confluence wiki, https://wiki.riscv.org. See CMO TG page on wiki.riscv.org.

I may still migrate to Confluence, to get other good features like copy/paste of links and formatted text and images, and better access control. But at least now I figured out how to search this GitHub wiki.