There is, of course, a Biblical mandate for a more inclusive 'real name' policy. "Peter" was not Saint Peter's "real name." Peter's real name was Simon bar Jonah. "Peter" (Petros in Latin, Κηφᾶς (Cephas) in Greek) is a nickname given to him by Jesus, and it means 'rock'. Yet that nickname--not his real name!--is what he's been primarily known as for the last 2,000 years. If it's good enough for Jesus, it should be good enough for Google, I say. ;P