Opera 9.01 is out, download it at once.