Better names, more conventional names
Re-running stuff subsequent to c12ac4d3ba2f94d021d94e130071f4d13d458513
Live game stats, now with MUCH less pain
Honor renumbering/renaming of files
Bring back the live stats!
Re-process all games subsequent to e28b69bb09b15c665dcd234de334a043b3dda6b3 (and many other commits)