Opera has just announced a new Opera Mini 4.2, same version release but in final…