I saw someone mention this somewhere and it seems like something we should have. There's no option on the main website to search the documentation. You can do it in the wiki, but first you have to find your way to to the wiki. Preferably we would have a way to search the officially transcluded versions.