http://www.esp8266.com/viewtopic.php?f=39&t=4902
but is probably worth changing seeing as it's a first port of call for people.
Examples links to downloads...
http://www.esp8266basic.com/download.html
Perhaps an extra entry for Download may be needed, then change the examples link to point to the examples.