Google’s AMP now accounts for 7 percent of traffic to big US publishers