Li as respostas nesta pergunta, mas elas ainda deixam minha pergunta em aberto: o Google armazena em cache o robots.txt?
Não encontrei uma maneira nas Ferramentas do Google para webmasters para invocar um novo download do meu robots.txt .
Por algum erro, meu robots.txt foi substituído por:
User-agent: *
Disallow: /
E agora todo o meu conteúdo foi removido dos resultados de pesquisa do Google.
Obviamente, estou interessado em corrigir isso o mais rápido possível. Já substitui o robots.txt , mas não consigo encontrar uma maneira de fazer o Google atualizar a versão em cache.