Estou-lhe imensamente grato pelas muito úteis achegas sobre a origem de Arlindo. Por tudo quanto diz, parece que o mais provável é o nome Arlindo ter origem no inglês Arlington, e ter entrado para a nossa língua pelo Brasil. É assunto que precisa de investigação acurada, feita por quem tenha vagar e disposição para isso. Mais uma vez muito agradecido por suas informações. São informações que vão para o meu arquivo de «Língua Portuguesa».