This new option to change a Gmail address doesn’t appear to be live yet, so it’s possible that Google published this updated ...