Procuradora da República substituirá Luiz Lima Stefanini, e pressão por diversidade continua sobre indicações ao STF.