Do ties for first place count?
nope, only one record-holder per game in this list.
1st place goes to the 1st one to do it.
if they're from the same round it goes to whoever posted the soonest.
i've edited the spreadsheet so the bold-type in the latest pdf hopefully makes more sense now.