Since Wikipedia's contents is available under GFDL, it is OK to start mirror websites to display the same contents, and many are doing so.

But does any mirror site provide a search function of their own that is better than Google or Wikipedia's own? Is any innovation taking place in that area?