I would have figured Opera Mini 8 would have been announced and out by now, but it's looking like if such a version happens, it'll be early 2014 at best due to the looming holidays toward the end of the month.