I do not think the robots.txt can be separate but I'm not sure we want to crawl much anyhow. The favicon can be separate but only if we need it to be.