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.