> Magnus' time will come! But not today.

Hasn't Magnus' time already come, and isn't it still Magnus' time? He is #1 on all three lists[1] and so long that I have forgotten when he was not.

[1]: https://2700chess.com/