Pretty sure that's all there is to download, for now at least! I downloaded mine earlier in the day and it was broken into two chunks, I hear now it's all one download - mine was around 3.7 and 2 (which is the same as your current 5.7- so seems like that's all of it).