Chrome users: I suggest you give the following add-on a try: GitHub Wiki Search 1.4.0
It is available in the Chrome webstore.
The add-on adds a search box to any Git-Hub based wiki
[image: Chrome Add-in.jpg, no longer available]
This search will look through the content of all wiki pages and list pages for easy navigation.
The tinyG wiki is here:
The tinyG2 wiki is here: