At the moment the search engine of this site is not available. But you can use the Google form down below to search the site. It is not always up to date. But Google browse this site quite often. It actually took 8 days for Google to update there index to include the new site. So I guess that it will take around 8 days for updates to reach the Google-index.