I'd argue that's still a bit of a pain compared to a fulltext search in the browser. I can already search the rest of the repo and issues that way, so why not the wiki?

Good tip though.