Wow, yes, that was indeed my suggestion to begin with. I remember it now. As I read the old discussion it seems that there is agreement around making it really transparent. When I originally suggested it I didn't realize just how seldom bots truly tie. I also find this
- Why, if you don't win against a bot you could as well have 0 points. 3 points for a win and zero for other outcomes might be a bit weird though, so make it 1 point for the win instead. -- PEZ
Seems like what I find weird today, I found weird back then too. =)
I suggest making that change and also to remove the old PL reference. Yes, it hurts a bit, but it'll make for one less legacy thing for newcomers to wonder about.