Olá, Sam,
Obrigado pela resposta. Tentei criar um tópico Contribute > Feature, mas ele foi bloqueado e seria excluído. Não imaginei que seria considerado duplicado, pois não parecem existir outros tópicos de solicitação de recursos especificamente sobre isso. Há várias postagens de suporte perguntando como editar o arquivo robots.txt.
Aqui está a postagem que fiz especificamente para isso:
https://meta.discourse.org/t/robots-txt-remove-blocking-user-profiles-or-allow-editing/94082
Procurei por um tópico relevante e achei que este era o segundo tópico mencionado como motivo para o fechamento do assunto. Peço desculpas. Ter uma maneira de editar o robots.txt, como diz o título deste tópico, resolveria problemas de indexação para todos 
Ok, entendi. A maioria dos argumentos que vi para excluir os perfis de usuário é principalmente para SEO, conteúdo duplicado etc., com os quais não concordo. Não vi pessoas dizendo que não queriam que seus perfis fossem indexados em um fórum público como uma das principais razões para excluí-los; é uma razão válida, mas não acho que tenha feito parte do processo de tomada de decisão (pelo menos publicamente) quando foram originalmente removidos: Excluding user profiles in robots.txt (or allow edit of file)
De qualquer forma, vou parar de postar neste tópico agora. Obrigado.