OK, the rankings have been updated. Not a lot of movement, but enough. I’ll try to make another update in October at some point.