> > I'm talking corn flour baked/fried into a chips-like snack,
> Those are quite common, they are called nacho chips or nachos, usually in a triangular shape.
I am curious where you have heard them called that.
I've lived for 40 years on the San Francisco Peninsula and South Bay, an area with a large Mexican population and a multitude of Mexican restaurants.
Here, and I think in most areas, those roughly-triangular chips are called tortilla chips. You may notice that one edge is rounded. This is because they are made from corn tortillas sliced into sections like a pizza.
In a context where it is clear that you mean tortilla chips and not something else like potato chips, they are often just called chips, e.g. chips and salsa or chips and guacamole.
There are also chips made from tortillas sliced into thin strips, used as a topping on a salad or soup. These are called tortilla strips.
The thicker, smaller chips like Fritos are called corn chips.
One difference between corn chips and tortilla chips is that corn chips are made from cornmeal. Tortillas and tortilla chips are made from corn that has been nixtamalized (cooked in an alkaline solution) and then ground into masa. This gives them a milder flavor than corn chips.
Nachos are something else entirely. Nachos are a plate of tortilla chips topped with cheese and baked or broiled until the cheese melts. Other ingredients like meat or peppers may be added, and the nachos are often topped with salsa after they come out of the oven.
Nacho chips don't exist here. If you were to order "nacho chips" in a Mexican restaurant, they would likely ask "Do you want nachos, or do you want chips?"
https://en.wikipedia.org/wiki/Nachos
https://en.wikipedia.org/wiki/Tortilla_chip
https://en.wikipedia.org/wiki/Corn_chip
https://en.wikipedia.org/wiki/Nixtamalization
https://en.wikipedia.org/wiki/Masa