#nachos}

then i was like. wait. wait hang on. isn't that. isn't--don't those sound the same because it's basically the same word twice???

and i double checked and yeah.

Nachos are supposedly named after a specific guy called Nacho, short for Ignacio.

Nazi was a derogatory nickname for Hitler's party which had been previously used as a derogatory term for a dumb hick, stereotyping guys called Nazi. Short for Ignatz.

That's the same name. Nacho and Nazi are literally the same exact nickname via Mexico and Germany respectively, but tagged onto wildly different non-human phenomena, and both loaned into English in wholly unrelated ways.