- The "prune leaderboard" setting is now persisted
- Added a solution detail form - just activate the solution (usually clicking the same item twice) and it will pop up
- Significant performance optimizations. Most importantly, this makes leaderboard pruning essentially free.