Creo que deberíamos hacer el sinónimo:
archivo ← file
Lo propuse hace un tiempo, pero Álvaro me planteó un punto que vale la pena discutir: file puede referirse al tipo de dato.
Creo que cuando nos referimos a un tipo de dato, sería una meta-etiqueta que no vale la pena mantener. En cambio, cuando se refiere al manejo de archivos, si bien no se sostiene como una etiqueta individual me parece que es muy útil en las búsquedas.
¿Qué les parece? ¿Va como sinónimo?