Opera 12.13 with auto-update and settings protection improvements

Ghacks-I have been waiting for the first Opera release of 2013 impatiently and was wondering what was going on up there in Norway and if everyone involved in the development took a month off (the last release was exactly a month ago).