If people are going to go for top-10 and thinks the yoyo user is a problem, why not simply subtract 1 from whatever your rank is? Everyone who's anyone in BOINC(by credits) is going to be aware of the situation with the yoyo user, so top-11 puts you in the top-10 in the minds of everyone who's opinion matters in this.