According to Wikipedia, he changed his name near the end of his career because people kept saying it incorrectly. It was pronounced "Ar-MEN", so he began spelling it as such, despite his given birth name being spelled "Armon".
I imagine the Database has one of the names as an alias as the other, so that either way it is spelled, it links to the same profile.
I'll never quit collecting entirely, but I am downsizing. Check out my COMC store and help me thin out what I don't want so I can buy cards that I do want. See something you like? Send me a message on here, and we can knock the price down quite a bit. I'll even take a bit of a loss if it means getting you a card you really want.