Keine Streams

Today the anniversarial leaderboard renovation has been concluded. I hope you all will see its current state as an improvement. I certainly do, though I do need to mention that a part of it does vex me a tiny bit.

In the community vote we both agreed to condense all categories into subcategories