I'm using 0019.
This document has been updated...
http://www.arduino.cc/latest.txt
...to...
0021
...and my IDE displays this on startup...
[Update]
A new version of Arduino is available,
would you like to visit the Arduino download page?
[Yes] [No]
...click [Yes] and the default browser opens here...