Aww, the online leaderboard doesn't seem to work anymore :( Nothing but "500: Server Error". Shame I only just discovered it through Antstream now; wished I'd known about it when I bought it five years ago due to it being buried in the GDC Relief Bundle (funny how that happens).