Hmm, the list of Top Solvers is also a puzzle in itself. Pwahs, sf2l and Rollie each have 5+7+8+9+1 = 34 (?), while Hausigel has 5+7+8+9+4 = 33 (!). It seems the number of solved five-star problems cannot exceed 4, since all of the top three in reality have solved 5 five-star problems.

Anyways, a very nice feature to which I hope to contribute some time soon.
EDIT: Hmm, now my number of solved five-star problems (4) is shown incorrectly as 1 as well.

Anyways, a very nice feature to which I hope to contribute some time soon.

EDIT: Hmm, now my number of solved five-star problems (4) is shown incorrectly as 1 as well.
