Olá. Essa dica do Thiago Araujo foi salvadora. Já tinha tentado de tudo.
Inclusive, a página inicial do usuário estava aparecendo em inglês; os emails de aviso sobre mensagens também estavam sendo enviados em inglês.
Eu estava perdendo tempo porque estava clicando na rodinha de edição do perfil, que fica à direita. Para fazer a alteração das preferências, deve-se clicar no ícone da foto do usuário, à esquerda. Aí vai abrir essa tela que o Thiago Araujo postou.
Quando eu alterei a preferência de idioma do usuário para português, aí a tela inicial do usuário logado passou a ser em português, os emails chegaram em português, e até os novos usuários criados depois passaram a vir com a configuração padrão em português. Boa dica.