Aunque me gusta esa historia de las almas y de la mina, la verdad que el nombre de Almadenejos es más humilde y más moderno de la época esa que decis, Almadenejos es un es diminutivo en plural de Almadén como pueda ser "peralejos" a "peral", Almadén es un nombre que proviene del arabe, donde "al-maden" significa "la mina" por lo que la traducion al castellano del nombre de nuestro pueblo "Almadenejos" será más bien "las minas pequeñas" ó "las minetas" y sus origenes datan del 1699 como es bien conocido cuando se empezo a explotar la mina que hay en la plaza del pueblo.