* Show a top5 leaderboard on resolved markets
* Only show profitable traders
* Include sales in profits
* Copy Leaderboard styling
* Also show the top comment and trade
* Fix padding for solo bets
* Only show both comment & bet if they differ
* Admin page using gridjs
* Move hook into separate file
* Link to each user's Manifold and Firestore /user entry
* Gate admin access to Austin/James/Stephen
* Don't leak the existence of /admin
* Add a custom 404 page that directs to Discord.
* Fix broken window.location.href on NextJS server
