@ek made top always show the global, unpersonalized ranking whether you are logged in or logged out

This way is much better, imo!