mini leaderboard

What’s new in 1.55?

• Mini leaderboard
• Bug fixes and some improvements