As reported in pt-BR:

----8<----

Trabalho com revisão de textos (geralmente textos de projetos de lei) e escrevo para enviar algumas sugestões referentes ao Vero para consideração da equipe que desenvolve o programa:

    “Salário mínimo”: o Vero costuma grifar essa expressão em azul e perguntar se o redator não quis dizer “salário-mínimo (que, segundo o Houaiss é o " trabalhador cuja remuneração é o salário mínimo”). Sugiro que essa instrução seja removida do programa. Além de “salário mínimo” se aplicar a um número bem maior de contextos, “salário-mínimo” não parece um modo muito formal de se referir a esses trabalhadores. Sei que o corretor oferece apenas como uma possibilidade de uso, mas muitas pessoas, especialmente estudantes de ensino básico, veem aquela linha azul embaixo das palavras e logo assumem que cometeram um erro.

    “Pessoa humana”: sugiro que o Vero deixe de indicar a expressão como um pleonasmo. “Pessoa humana” é uma forma recorrente da legislação tratar pessoas físicas. Ou seja, não é um pleonasmo porque nem toda pessoa é humana; algumas pessoas são jurídicas.

    “Prefeito municipal”: sugiro que o Vero deixe de indicar a expressão como um pleonasmo. Apesar de “prefeito” funcionar perfeitamente sozinho muitas administrações municipais dão preferência a “prefeito municipal” em seus documentos (provavelmente por analogia com o nome da própria administração - Prefeitura Municipal de [CIDADE] - e para manter um paralelismo com as outras esferas de poder - governador de estado e presidente da República). Além disso, existem outros tipos de prefeito, ainda que menções a eles sejam muito menos frequentes: “prefeito de campus”, “prefeito de palácio”, “prefeito naval” (similar ao prefeito de campus, mas administra uma vila militar da Marinha) e “prefeito” no sentido dado na Itália e em outros países (governante não de um município, mas de uma província ou “prefeitura” - que, no caso, é um agrupamento de municípios semelhante a um condado).

    Gramática e marcas de revisão: mesmo quando escondemos as alterações, o corretor gramatical leva em conta tanto o conteúdo acrescentado quanto o excluído e aplica a linha azul indicativa de problema gramatical sob palavras que estão corretas (o mesmo não ocorre com a linha vermelha indicativa de problemas ortográficos). Além disso, ao copiarmos um trecho de um texto com alterações escondidas e o colarmos na barra de localizar, parte do conteúdo escondido acaba sendo colado também, especialmente vírgulas. Creio que há alguns anos isso não ocorria, mas vem ocorrendo nas versões a partir de 2020 mais ou menos. Não sei se isso é da alçada dos desenvolvedores do Vero, mas estou informando para caso seja.

    Aproveito para agradecer o excelente trabalho, que contribui bastante para meu serviço e o de outros revisores.

----8<----