Entendo seu ponto, mas o foco do projeto é didático, não acadêmico.
O uso de nomes em português, como “estilo.css”, facilita o entendimento de quem está começando e ainda está se familiarizando com os conceitos básicos, o importante é compreender o funcionamento, não apenas decorar convenções.
Depois que a base está sólida, é natural migrar para padrões internacionais como “style.css” ou “nav”.
Ensinar é sobre incluir e construir conhecimento passo a passo, não criar barreiras de entrada.
Vale lembrar que o uso de nomes em inglês e tags como “nav” é um padrão de mercado, mas não uma regra absoluta. Ensinar também é mostrar que existem boas práticas, e que elas fazem sentido quando o aluno entende o porquê de aplicá-las.