Google’s May 2020 core update was big and broad, search data tools show