Opera Mini should do something with sync history