Doesn't it make things more complicated if we have ties in a contest? There might be other instances in the past where people have received the same ratings, but we'd never noticed, and it seems like way too much effort to go back and check now. If the board software decided Till was the winner, I'm happy to stick with that.
(It also means I don't have to figure out what ties mean for the points system of the leaderboard thread. )
What does everyone else think?