The download seemed unnaturally long last night -- about half an hour. The previous update downloaded in a few minutes.
Either the server was slow (a lot of concurrent downloads?) or the update file was huge.
Does anyone know the real size of the downloads for the last updates?

Otherwise, the update itself went fine.