[GrantZvolsky]

As far as I remember the TOP500 list is updated more or less the same time every November and June. Google Trends agree[1].

[1]: https://trends.google.com/trends/explore?date=all&q=top500