What’s been going on with Google’s mobile indexing?