Fixed some instances of the old application name in robots.txt files. #214