It looks like there are enough problems with forum software, now there is some minor problem with website also, I think.The download page tells that the latest IDE version is version Arduino 1.0.3. However the release notes speak about version ARDUINO 1.5.2 BETA - 2013.02.06.
Please enter a valid email to subscribe
We need to confirm your email address.
To complete the subscription, please click the link in the
email we just sent you.
Thank you for subscribing!
via Egeo 16