Hello everybody, we just updated the search engine used on the site to provide better results and search comments. Please let us know if there are any issues with it or if there are any other improvements you want to see.