Not all matches in the top 10 are being played

(Screenshot from this tool)

I’m not sure what the current max-ranking difference for matches is or if there is one, but for some reason no matches are being played between the algos River and mint_22 and the rest of the top 10.

The rating difference between mint_22 and ok_bet is about 400 points, which was at some point the max-difference. Was the max difference lowered or do we just have to wait until these matches get played?