Yahoo! Marissa Mayer and new baby are both “doing great”