On Sat, Jan 25, 2014, at 07:04 PM, Nick Coghlan wrote: > Which suggests that the Google web crawler *is* spidering the dev > docs, which we generally don't want :P I've now added a robots.txt to disallow crawling /dev.