Ok, got a few suggestions that would probably make DART a better place.
1. User Search
2. DART App (don't know if there already is one but...)
3. Leaderboard Corrections (it's super hard to find your place on the leaderboard, I would suggest another leaderboard search that actually showed your place on the board