> the search box in the website doesnt work. If it
> cant be fixed  pl tell some other methods to search
> in the mirrored site.

Fixed, thank you for the report!