virtualbox.org

I was just about to migrate to 5.0.10 OSE when I noticed that 5.0.12 is out, so I figured I would just skip ahead to that. However, I am getting a 404 error on the link for downloading the source tar ball on this page:

https://www.virtualbox.org/wiki/Downloads

The link there is:

http://download.virtualbox.org/virtualb ... 12.tar.bz2

Never mind. It worked today. Maybe I just jumped the gun? Anyway, I have it now.