Question: is nacho a real name?
Answer: Nacho is a nickname for Ignacio, the Spanish form of Ignatius.