You must have sorted on the rounded off percentage, because I'm surprised to see Juerd ranks higher than diotalevi, while the latter appears to have a better score, to me:
(2 out of 4713 ~~ 4.246E-3) > (1 out of 2839 ~~ 3.522E-3)
bart,
You are correct. As I said, anyone is welcome to modify it since close percentages at 2 decimal places is probably not enough. I will modify it so that the actual floating point is used to determine order but the display is limited to 4 places.