The Top 100 list is not showing up, and the page intro paragraph reads:
"This is the Pinside Pinball Top 100 list for January 1st, 2023."
Not sure if the missing list and date are related or what. Or maybe that means no pinball at all a year from now.