PRECIS IN: Google börjar rulla ut en ny funktion som låter användare ändra sin Gmail-adress.