[petra]

Opera mini , specifically , uses it's servers to render mobile optimized pages, so all of the search history is on the servers.