IDE v1.0.1 download webpage [SOLVED]

Does anyone know where the download page is for the newest releases? A link to the latest IDE v1.0.1 is what I am after. Thanks in advance!

edit: The Arduino Developer's List is where you find stuff like this. Here is the links to download the various flavors of IDE v1.0.1-rc2.