Search engine has been fixed. Now you can find what you are looking for by searching with the full file name.