I couldn't find any file named "lastest.txt" - but I did find:-
www.arduino.cc/latest.txt
And "latest.txt" is parsing 0017 to my browser.
And every time the Arduino IDE "phones home", it clocks up a unique visit that will invariably bode well for the arduino.cc Alexa ranking.