See the second to last reply in that topic: Needing to edit robots.txt file - where is it? - #42 by Osama.