Minor updates to Opera on Windows