Probably these names were actually prohibited half a century ago, when only the (Castilian Spanish) names of Catholic saints were allowed
Actually not even foreign names. IIRC only names that were insulting or prone to be laughed at were forbidden.
That being said, these were civil servants under a fascist catholic dictatorship, so you can imagine that the range went from "only catholic saint names in spanish" to "if it sounds spanish-enough to me I'll allow it". Foreign names (John) were not allowed in most cases, just like they didn't allow names in any of the other languages of spain such as Joan (catalan), Jon (vasque), Xoán (galician).