A senior Google VP said earlier this month that Google users who couldn’t add “Reddit” to their queries were “not quite happy” following the protest.